Sesión 07: Lenguajes y Semánticas

Listado de artículos correspondientes a la sesión Lenguajes y Semánticas.

1. A Logic of Graph Conditions Extended with Paths
   Marisa Navarro / Fernando Orejas / Elvira Pino / Leen Lambers / 
2. Formal Relational Languages in a Deductive Setting
   Fernando Sáenz-Pérez / 
3. Fuzzy Thresholded Fixpoint Semantics
   Pascual Julián-Iranzo / Ginés Moreno / Jaime Penabad /