2008 |
17 | EE | Joxe Gaintzarain,
Montserrat Hermo,
Paqui Lucio,
Marisa Navarro:
Systematic Semantic Tableaux for PLTL.
Electr. Notes Theor. Comput. Sci. 206: 59-73 (2008) |
2007 |
16 | EE | Joxe Gaintzarain,
Montserrat Hermo,
Paqui Lucio,
Marisa Navarro,
Fernando Orejas:
A Cut-Free and Invariant-Free Sequent Calculus for PLTL.
CSL 2007: 481-495 |
2005 |
15 | EE | Edelmira Pasarella,
Fernando Orejas,
Elvira Pino,
Marisa Navarro:
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.
LOPSTR 2005: 133-146 |
14 | EE | Joxe Gaintzarain,
Montserrat Hermo,
Marisa Navarro:
Goals in the Propositional Horn Language Are Monotone Boolean Circuits.
MFCS 2005: 376-386 |
1999 |
13 | | R. Arruabarrena,
Paqui Lucio,
Marisa Navarro:
A Strong Logic Programming View for Static Embedded Implications.
FoSSaCS 1999: 56-72 |
1997 |
12 | | Moreno Falaschi,
Marisa Navarro,
Alberto Policriti:
1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997
APPIA-GULP-PRODE 1997 |
1996 |
11 | | Paqui Lucio,
Maurizio Martelli,
Marisa Navarro:
1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996
APPIA-GULP-PRODE 1996 |
10 | | R. Arruabarrena,
Marisa Navarro:
On Extended Logic Languages supporting Program Structuring.
APPIA-GULP-PRODE 1996: 191-206 |
9 | | Fernando Orejas,
Marisa Navarro,
Ana Sánchez:
Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results.
Mathematical Structures in Computer Science 6(1): 33-67 (1996) |
1995 |
8 | EE | Marisa Navarro,
Fernando Orejas,
Ana Sánchez:
On the Correctness of Modular Systems.
Theor. Comput. Sci. 140(1): 139-177 (1995) |
1993 |
7 | | Marisa Navarro,
Fernando Orejas,
Ana Sánchez:
On the Correctness of Modular Systems.
AMAST 1993: 209-216 |
6 | | Marisa Navarro,
Fernando Orejas,
Jean-Luc Remy:
Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications.
Acta Inf. 30(2): 147-180 (1993) |
5 | | Marisa Navarro,
Fernando Orejas,
Ana Sánchez:
Characterizing Confusion.
Bulletin of the EATCS 49: 103-110 (1993) |
1991 |
4 | | Fernando Orejas,
Marisa Navarro,
Ana Sánchez:
Implementation and Behavioural Equivalence: A Survey.
COMPASS/ADT 1991: 93-125 |
1988 |
3 | | Fernando Orejas,
Ana Sánchez,
Marisa Navarro,
Pilar Nivela,
Ricardo Pena:
Term Rewriting Methods for Partial Specifications.
ADT 1988 |
1987 |
2 | | Marisa Navarro,
Fernando Orejas:
Parameterized Horn Clause Specifications: Proof Theory and Correctness.
TAPSOFT, Vol.1 1987: 202-216 |
1984 |
1 | | Marisa Navarro,
Fernando Orejas:
On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems.
EUROSAM 1984: 74-85 |