×

zbMATH — the first resource for mathematics

Navarro, Marisa

Compute Distance To:
Author ID: navarro.marisa Recent zbMATH articles by "Navarro, Marisa"
Published as: Navarro, M.; Navarro, Marisa
Documents Indexed: 19 Publications since 1984

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 28 times in 19 Documents Cited by Year
A cut-free and invariant-free sequent calculus for PLTL. Zbl 1179.03056
Gaintzarain, Joxe; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
5
2007
Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
3
2009
Systematic semantic tableaux for PLTL. Zbl 1278.03041
Gaintzarain, J.; Hermo, M.; Lucio, P.; Navarro, M.
3
2007
Parametrized Horn clause specifications: Proof theory and correctness. Zbl 0692.68016
Navarro, M.; Orejas, F.
3
1987
Towards a navigational logic for graphical structures. Zbl 1383.68064
Lambers, Leen; Navarro, Marisa; Orejas, Fernando; Pino, Elvira
2
2018
A transformational semantics of static embedded implications of normal logic programs. Zbl 1156.68329
Pasarella, Edelmira; Orejas, Fernando; Pino, Elvira; Navarro, Marisa
2
2006
Goals in the propositional Horn\(^\supset\) language are monotone Boolean circuits. Zbl 1156.68326
Gaintzarain, J.; Hermo, M.; Navarro, M.
2
2005
A strong logic programming view for static embedded implications. Zbl 0948.68031
Arruabarrena, R.; Lucio, P.; Navarro, M.
2
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
2
1996
Institutions for navigational logics for graphical structures. Zbl 1436.03325
Orejas, Fernando; Pino, Elvira; Navarro, Marisa; Lambers, Leen
1
2018
Satisfiability of constraint specifications on XML documents. Zbl 1321.68352
Navarro, Marisa; Orejas, Fernando; Pino, Elvira
1
2015
On the correctness of modular systems. Zbl 0874.68065
Navarro, Marisa; Orejas, Fernando; Sánchez, Ana
1
1995
On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems. Zbl 0551.68036
Navarro, M.; Orejas, F.
1
1984
Towards a navigational logic for graphical structures. Zbl 1383.68064
Lambers, Leen; Navarro, Marisa; Orejas, Fernando; Pino, Elvira
2
2018
Institutions for navigational logics for graphical structures. Zbl 1436.03325
Orejas, Fernando; Pino, Elvira; Navarro, Marisa; Lambers, Leen
1
2018
Satisfiability of constraint specifications on XML documents. Zbl 1321.68352
Navarro, Marisa; Orejas, Fernando; Pino, Elvira
1
2015
Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
3
2009
A cut-free and invariant-free sequent calculus for PLTL. Zbl 1179.03056
Gaintzarain, Joxe; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
5
2007
Systematic semantic tableaux for PLTL. Zbl 1278.03041
Gaintzarain, J.; Hermo, M.; Lucio, P.; Navarro, M.
3
2007
A transformational semantics of static embedded implications of normal logic programs. Zbl 1156.68329
Pasarella, Edelmira; Orejas, Fernando; Pino, Elvira; Navarro, Marisa
2
2006
Goals in the propositional Horn\(^\supset\) language are monotone Boolean circuits. Zbl 1156.68326
Gaintzarain, J.; Hermo, M.; Navarro, M.
2
2005
A strong logic programming view for static embedded implications. Zbl 0948.68031
Arruabarrena, R.; Lucio, P.; Navarro, M.
2
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
2
1996
On the correctness of modular systems. Zbl 0874.68065
Navarro, Marisa; Orejas, Fernando; Sánchez, Ana
1
1995
Parametrized Horn clause specifications: Proof theory and correctness. Zbl 0692.68016
Navarro, M.; Orejas, F.
3
1987
On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems. Zbl 0551.68036
Navarro, M.; Orejas, F.
1
1984

Citations by Year