29 results on '"Marisa Navarro"'
Search Results
2. Towards a Navigational Logic for Graphical Structures.
3. Institutions for navigational logics for graphical structures.
4. Satisfiability of Constraint Specifications on XML Documents.
5. A navigational logic for reasoning about graph properties.
6. A refutation procedure for proving satisfiability of constraint specifications on XML documents.
7. SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents.
8. A Cut-Free and Invariant-Free Sequent Calculus for PLTL.
9. A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.
10. Goals in the Propositional Horn Language Are Monotone Boolean Circuits.
11. Invariant-Free Clausal Temporal Resolution.
12. Semantics of structured normal logic programs.
13. A Strong Logic Programming View for Static Embedded Implications.
14. Translating propositional extended conjunctions of Horn clauses into Boolean circuits.
15. Dual Systems of Tableaux and Sequents for PLTL.
16. Systematic Semantic Tableaux for PLTL.
17. On Extended Logic Languages supporting Program Structuring.
18. On the Correctness of Modular Systems.
19. Implementation and Behavioural Equivalence: A Survey.
20. Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results.
21. On the Correctness of Modular Systems.
22. Characterizing Confusion.
23. Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications.
24. On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems.
25. Parameterized Horn Clause Specifications: Proof Theory and Correctness.
26. Term Rewriting Methods for Partial Specifications.
27. Proceedings XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015.
28. 1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997
29. 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.