Browsing by Author "Navarro Gomez, Marisa"

Now showing items 1-4 of 4

    • A logic of graph conditions extended with paths 

      Navarro Gomez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira; Lambers, Leen (2016)
      Conference report
      Open Access
      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 ...

    • A logic of graph conditions extended with paths 

      Navarro Gomez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira; Lambers, Leen (2016)
      Conference report
      Open Access
      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 ...

    • Towards a navigational logic for graphical structures 

      Lambers, Leen; Navarro Gomez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira (Springer, 2018)
      Conference report
      Open Access
      One of the main advantages of the Logic of Nested Conditions, defined by Habel and Pennemann, for reasoning about graphs, is its generality: this logic can be used in the framework of many classes of graphs and graphical ...

    • Un nuevo enfoque jerárquico para la reescritura condicional 

      Navarro Gomez, Marisa; Orejas Valdés, Fernando (Asociación Española de Informática y Automática, 1985)
      Conference report
      Open Access
      En este artículo se presenta un nuevo método de reescritura orientado a la ejecución de especificaciones condicionales y basado en la noción de jerarquía. este método, como otros métodos jerárquicos, evita los problemas ...