Search the dblp DataBase

Publications of Author

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