Autor:
Lambers, Leen

Cargando...
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

Resultados de la búsqueda

Mostrando 1 - 1 de 1
  • 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.