Marisa Navarro

Available identifiers

zbMath Open navarro.marisaMaRDI QIDQ352973

List of research outcomes

Publication	Date of Publication	Type
Incremental Concurrent Model Synchronization using Triple Graph Grammars	2022-10-13	Paper
A navigational logic for reasoning about graph properties	2021-02-26	Paper
Institutions for navigational logics for graphical structures	2018-07-26	Paper
Towards a navigational logic for graphical structures	2018-04-04	Paper
Satisfiability of Constraint Specifications on XML Documents	2015-09-14	Paper
Systematic semantic tableaux for PLTL	2014-01-10	Paper
Invariant-free clausal temporal resolution	2013-07-05	Paper
Semantics of structured normal logic programs	2012-08-14	Paper
Translating propositional extended conjunctions of Horn clauses into Boolean circuits	2010-04-15	Paper
Dual systems of tableaux and sequents for PLTL	2009-11-04	Paper
A Cut-Free and Invariant-Free Sequent Calculus for PLTL	2009-03-05	Paper
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs	2009-01-15	Paper
Contextual rewriting as a sound and complete proof method for conditional LOG-specifications	1994-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q3034806	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3343435	1984-01-01	Paper

Research outcomes over time

This page was built for person: Marisa Navarro