A cut-free and invariant-free sequent calculus for PLTL. Zbl 1179.03056
Gaintzarain, Joxe; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando |
|
2007
|
Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando |
|
2009
|
Towards a navigational logic for graphical structures. Zbl 1383.68064
Lambers, Leen; Navarro, Marisa; Orejas, Fernando; Pino, Elvira |
|
2018
|
A navigational logic for reasoning about graph properties. Zbl 1455.68147
Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen |
|
2021
|
Systematic semantic tableaux for PLTL. Zbl 1278.03041
Gaintzarain, J.; Hermo, M.; Lucio, P.; Navarro, M. |
|
2007
|
Parametrized Horn clause specifications: Proof theory and correctness. Zbl 0692.68016
Navarro, M.; Orejas, F. |
|
1987
|
A transformational semantics of static embedded implications of normal logic programs. Zbl 1156.68329
Pasarella, Edelmira; Orejas, Fernando; Pino, Elvira; Navarro, Marisa |
|
2006
|
Goals in the propositional Horn\(^\supset\) language are monotone Boolean circuits. Zbl 1156.68326
Gaintzarain, J.; Hermo, M.; Navarro, M. |
|
2005
|
Institutions for navigational logics for graphical structures. Zbl 1436.03325
Orejas, Fernando; Pino, Elvira; Navarro, Marisa; Lambers, Leen |
|
2018
|
Algebraic implementation of abstract data types: A survey of concepts and new compositionality results. Zbl 0846.68070
Orejas, Fernando; Navarro, Marisa; Sánchez, Ana |
|
1996
|
A strong logic programming view for static embedded implications. Zbl 0948.68031
Arruabarrena, R.; Lucio, P.; Navarro, M. |
|
1999
|
Incremental concurrent model synchronization using triple graph grammars. Zbl 1507.68095
Orejas, Fernando; Pino, Elvira; Navarro, Marisa |
|
2020
|
Invariant-free clausal temporal resolution. Zbl 1408.03006
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando |
|
2013
|
On the correctness of modular systems. Zbl 0874.68065
Navarro, Marisa; Orejas, Fernando; Sánchez, Ana |
|
1995
|
On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems. Zbl 0551.68036
Navarro, M.; Orejas, F. |
|
1984
|
Equilibrium and symmetries of altitudinal magnetic rotors on a circle. Zbl 07880314
Cisternas, J.; Navarro, M.; Duarte, S.; Concha, A. |
|
2022
|
Satisfiability of constraint specifications on XML documents. Zbl 1321.68352
Navarro, Marisa; Orejas, Fernando; Pino, Elvira |
|
2015
|
Equilibrium and symmetries of altitudinal magnetic rotors on a circle. Zbl 07880314
Cisternas, J.; Navarro, M.; Duarte, S.; Concha, A. |
|
2022
|
A navigational logic for reasoning about graph properties. Zbl 1455.68147
Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen |
|
2021
|
Incremental concurrent model synchronization using triple graph grammars. Zbl 1507.68095
Orejas, Fernando; Pino, Elvira; Navarro, Marisa |
|
2020
|
Towards a navigational logic for graphical structures. Zbl 1383.68064
Lambers, Leen; Navarro, Marisa; Orejas, Fernando; Pino, Elvira |
|
2018
|
Institutions for navigational logics for graphical structures. Zbl 1436.03325
Orejas, Fernando; Pino, Elvira; Navarro, Marisa; Lambers, Leen |
|
2018
|
Satisfiability of constraint specifications on XML documents. Zbl 1321.68352
Navarro, Marisa; Orejas, Fernando; Pino, Elvira |
|
2015
|
Invariant-free clausal temporal resolution. Zbl 1408.03006
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando |
|
2013
|
Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando |
|
2009
|
A cut-free and invariant-free sequent calculus for PLTL. Zbl 1179.03056
Gaintzarain, Joxe; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando |
|
2007
|
Systematic semantic tableaux for PLTL. Zbl 1278.03041
Gaintzarain, J.; Hermo, M.; Lucio, P.; Navarro, M. |
|
2007
|
A transformational semantics of static embedded implications of normal logic programs. Zbl 1156.68329
Pasarella, Edelmira; Orejas, Fernando; Pino, Elvira; Navarro, Marisa |
|
2006
|
Goals in the propositional Horn\(^\supset\) language are monotone Boolean circuits. Zbl 1156.68326
Gaintzarain, J.; Hermo, M.; Navarro, M. |
|
2005
|
A strong logic programming view for static embedded implications. Zbl 0948.68031
Arruabarrena, R.; Lucio, P.; Navarro, M. |
|
1999
|
Algebraic implementation of abstract data types: A survey of concepts and new compositionality results. Zbl 0846.68070
Orejas, Fernando; Navarro, Marisa; Sánchez, Ana |
|
1996
|
On the correctness of modular systems. Zbl 0874.68065
Navarro, Marisa; Orejas, Fernando; Sánchez, Ana |
|
1995
|
Parametrized Horn clause specifications: Proof theory and correctness. Zbl 0692.68016
Navarro, M.; Orejas, F. |
|
1987
|
On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems. Zbl 0551.68036
Navarro, M.; Orejas, F. |
|
1984
|