dblp.uni-trier.dewww.uni-trier.de

Marisa Navarro

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
17EEJoxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro: Systematic Semantic Tableaux for PLTL. Electr. Notes Theor. Comput. Sci. 206: 59-73 (2008)
2007
16EEJoxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: A Cut-Free and Invariant-Free Sequent Calculus for PLTL. CSL 2007: 481-495
2005
15EEEdelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro: A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. LOPSTR 2005: 133-146
14EEJoxe 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
8EEMarisa 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

Coauthor Index

1R. Arruabarrena [10] [13]
2Moreno Falaschi [12]
3Joxe Gaintzarain [14] [16] [17]
4Montserrat Hermo [14] [16] [17]
5Paqui Lucio [11] [13] [16] [17]
6Maurizio Martelli [11]
7Pilar Nivela [3]
8Fernando Orejas [1] [2] [3] [4] [5] [6] [7] [8] [9] [15] [16]
9Edelmira Pasarella [15]
10Ricardo Peña-Marí (Ricardo Pena) [3]
11Elvira Pino [15]
12Alberto Policriti [12]
13Jean-Luc Remy [6]
14Ana Sánchez [3] [4] [5] [7] [8] [9]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)