PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Orejas, Fernando"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP.

, , , , , und . Fundam. Inform., 99 (1): 95-124 (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.

Keine Personen gefunden für den Autorennamen Orejas, Fernando
Eine Person hinzufügen mit dem Namen Orejas, Fernando
 

Weitere Publikationen von Autoren mit dem selben Namen

Dynamic Abstract Data Types: An informal Proposal., und . Bulletin of the EATCS, (1994)Lazy Graph Transformation., und . Fundam. Inform., 118 (1-2): 65-96 (2012)Semantics of structured normal logic programs., , , und . J. Log. Algebr. 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)Structuring and Modularity.. Algebraic Foundations of Systems Specification, Springer, (1999)Institutions for Logic Programming., , und . Theor. Comput. Sci., 173 (2): 485-511 (1997)Constructive negation without subsidiary trees., , und . WFLP, Seite 195-209. (2000)Inter-modelling with patterns., , und . Software and Systems Modeling, 12 (1): 145-174 (2013)Semantic Constructions in the Specification Language GLIDER., , und . COMPASS/ADT, Volume 785 von Lecture Notes in Computer Science, Seite 144-157. Springer, (1992)New Concepts of Amalgamation and Extension for a General Theory of Specifications., , und . COMPASS/ADT, Volume 655 von Lecture Notes in Computer Science, Seite 199-221. Springer, (1991)