Marisa Navarro

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Incremental concurrent model synchronization using triple graph grammars Fundamental Approaches to Software Engineering	2022-10-13	Paper
A navigational logic for reasoning about graph properties Journal of Logical and Algebraic Methods in Programming	2021-02-26	Paper
Institutions for navigational logics for graphical structures Theoretical Computer Science	2018-07-26	Paper
Towards a navigational logic for graphical structures	2018-04-04	Paper
Satisfiability of Constraint Specifications on XML Documents Lecture Notes in Computer Science	2015-09-14	Paper
Systematic semantic tableaux for PLTL	2014-01-10	Paper
Invariant-free clausal temporal resolution Journal of Automated Reasoning	2013-07-05	Paper
Semantics of structured normal logic programs The Journal of Logic and Algebraic Programming	2012-08-14	Paper
Translating propositional extended conjunctions of Horn clauses into Boolean circuits Theoretical Computer Science	2010-04-15	Paper
Dual systems of tableaux and sequents for PLTL The Journal of Logic and Algebraic Programming	2009-11-04	Paper
A Cut-Free and Invariant-Free Sequent Calculus for PLTL Computer Science Logic	2009-03-05	Paper
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs Logic Based Program Synthesis and Transformation	2009-01-15	Paper
Contextual rewriting as a sound and complete proof method for conditional LOG-specifications Acta Informatica	1994-05-10	Paper
scientific article; zbMATH DE number 4133477 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3878354 (Why is no real title available?)	1984-01-01	Paper

Research outcomes over time

This page was built for person: Marisa Navarro