| 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 |
