Autor:
Lambers, Leen

Foto de perfil
E-mails conocidos
leen.lambers@hpi.de
Fecha de nacimiento
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Apellidos
Lambers
Nombre de pila
Leen
Nombre
Nombres alternativos
Afiliaciones conocidas
Hasso Plattner Institut, University of Potsdam, Germany
Páginas web conocidas
Página completa del ítem
Notificar un error en este autor

Filtros

20161
Restablecer filtros

Ajustes

Resultados de la búsqueda

Mostrando 1 - 1 de 1
  • Miniatura
    Artículo
    A Logic of Graph Conditions Extended with Paths
    Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen. Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016), 2016-09-02.
    In this paper we tackle the problem of extending the logic of nested graph conditions with paths. This means, for instance, that we may state properties about the existence of paths between some given nodes. As a main contribution, a sound and complete tableau method is defined for reasoning about this kind of properties.