Elvira Pino

Available identifiers

zbMath Open pino.elviraMaRDI QIDQ444363

List of research outcomes

Publication	Date of Publication	Type
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 Part 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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Elvira Pino