Elvira Pino

Available identifiers

Publication	Date of Publication	Type
A logical approach to graph databases	2024-10-08	Paper
Incremental concurrent model synchronization using triple graph grammars	2022-10-13	Paper
Algebraic methods in the compositional analysis of logic programs	2022-08-18	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
Semantics of structured normal logic programs	2012-08-14	Paper
A generic approach to connector architectures. I: The general framework	2010-05-25	Paper
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP	2010-05-25	Paper
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs	2009-01-15	Paper
A functorial framework for constraint normal logic programming	2008-07-30	Paper
A Functorial Framework for Constraint Normal Logic Programming	2007-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4736517	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4471722	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2722030	2001-07-11	Paper
An algebraic framework for the definition of compositional semantics of normal logic programs	1999-12-19	Paper
Institutions for logic programming	1998-07-22	Paper

This page was built for person: Elvira Pino