( en | de | ru )

 

Disambiguierung von "Pino, Elvira"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A General Algebraic Framework for Studying Modular Systems.

, und . WADT, Volume 1827 von Lecture Notes in Computer Science, Seite 271-290. Springer, (1999)

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

Rudolf Pinoli

 

Weitere Publikationen von Autoren mit dem selben Namen

Constructive negation without subsidiary trees., , und . WFLP, Seite 195-209. (2000)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)Semantics of normal logic programs with embedded implications., , und . APPIA-GULP-PRODE, Seite 1-15. Departamento de Informática, Universidade de Évora, (2001)Institutions for Logic Programming., , und . Theor. Comput. Sci., 173 (2): 485-511 (1997)Semantics of structured normal logic programs., , , und . J. Log. Algebraic Methods Program., 81 (5): 559-584 (2012)An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs., , und . J. Log. Program., 40 (1): 89-124 (1999)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 Functorial Framework for Constraint Normal Logic Programming., , , und . Appl. Categorical Struct., 16 (3): 421-450 (2008)On the Integration of Modular Heterogeneous Specifications., und . SoftSpez Final Report, Volume 3147 von Lecture Notes in Computer Science, Seite 582-601. Springer, (2004)Tight and Loose Semantics for Transformation Systems., , und . WADT, Volume 2267 von Lecture Notes in Computer Science, Seite 238-255. Springer, (2001)