( en | de | ru )

 

Disambiguierung von "Pino, Elvira"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Generic Approach to Connector Architectures Part I: The General Framework.

, , , , , und . Fundam. Informaticae, 99 (1): 63-93 (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Luca Pino

Pino D'Amico

Amabelia Silvia Pino Machado

Andreas Pinosa

José Ricardo Pino Rivera

 

Weitere Publikationen von Autoren mit dem selben Namen

Constructive negation without subsidiary trees., , und . WFLP, Seite 195-209. (2000)Semantics of normal logic programs with embedded implications., , und . APPIA-GULP-PRODE, Seite 1-15. Departamento de Informática, Universidade de Évora, (2001)Semantics of structured normal logic programs., , , und . J. Log. Algebraic Methods Program., 81 (5): 559-584 (2012)Satisfiability of Constraint Specifications on XML Documents., , und . Logic, Rewriting, and Concurrency, Volume 9200 von Lecture Notes in Computer Science, Seite 539-561. Springer, (2015)An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs., , und . J. Log. Program., 40 (1): 89-124 (1999)Institutions for Logic Programming., , und . Theor. Comput. Sci., 173 (2): 485-511 (1997)A Functorial Framework for Constraint Normal Logic Programming., , , und . Appl. Categorical Struct., 16 (3): 421-450 (2008)Correctness of Incremental Model Synchronization with Triple Graph Grammars., und . ICMT, Volume 8568 von Lecture Notes in Computer Science, Seite 74-90. Springer, (2014)A Monotonic Declarative Semantics for Normal Logic Programs., , und . APPIA-GULP-PRODE, Seite 271-282. (1997)A General Algebraic Framework for Studying Modular Systems., und . WADT, Volume 1827 von Lecture Notes in Computer Science, Seite 271-290. Springer, (1999)