Marisa Navarro

According to our database1, Marisa Navarro
  • authored at least 22 papers between 1984 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Satisfiability of Constraint Specifications on XML Documents.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014
SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents.
Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014

A refutation procedure for proving satisfiability of constraint specifications on XML documents.
Proceedings of the 6th International Symposium on Symbolic Computation in Software Science, 2014

2013
Invariant-Free Clausal Temporal Resolution.
J. Autom. Reasoning, 2013

2012
Semantics of structured normal logic programs.
J. Log. Algebr. Program., 2012

2010
Translating propositional extended conjunctions of Horn clauses into Boolean circuits.
Theor. Comput. Sci., 2010

2009
Dual Systems of Tableaux and Sequents for PLTL.
J. Log. Algebr. Program., 2009

2008
Systematic Semantic Tableaux for PLTL.
Electr. Notes Theor. Comput. Sci., 2008

2007
A Cut-Free and Invariant-Free Sequent Calculus for PLTL.
Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2005
Goals in the Propositional Horn Language Are Monotone Boolean Circuits.
Proceedings of the Mathematical Foundations of Computer Science 2005, 2005

A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.
Proceedings of the Logic Based Program Synthesis and Transformation, 2005

1999
A Strong Logic Programming View for Static Embedded Implications.
Proceedings of the Foundations of Software Science and Computation Structure, 1999

1996
Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results.
Mathematical Structures in Computer Science, 1996

On Extended Logic Languages supporting Program Structuring.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
On the Correctness of Modular Systems.
Theor. Comput. Sci., 1995

1993
Characterizing Confusion.
Bulletin of the EATCS, 1993

Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications.
Acta Inf., 1993

On the Correctness of Modular Systems.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1991
Implementation and Behavioural Equivalence: A Survey.
Proceedings of the Recent Trends in Data Type Specification, 1991

1988
Term Rewriting Methods for Partial Specifications.
ADT, 1988

1987
Parameterized Horn Clause Specifications: Proof Theory and Correctness.
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

1984
On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems.
Proceedings of the EUROSAM 84, 1984


  Loading...