( en | de | ru )

 

Disambiguierung von "Orejas, Fernando"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques.

, und . GT-VMT@ICALP, Volume 50 von Electronic Notes in Theoretical Computer Science, Seite 199-226. Elsevier, (2001)

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.

Fernando Rinaldi

Fernando Wiens

Fernando Boenicke

Fernando Cox

Fernando Silva

 

Weitere Publikationen von Autoren mit dem selben Namen

Abstract Constraint Data Types., und . Software, Services, and Systems, Volume 8950 von Lecture Notes in Computer Science, Seite 155-170. Springer, (2015)A Transformational Semantics of Static Embedded Implications of Normal Logic Programs., , , und . LOPSTR, Volume 3901 von Lecture Notes in Computer Science, Seite 133-146. Springer, (2005)A General Algebraic Framework for Studying Modular Systems., und . WADT, Volume 1827 von Lecture Notes in Computer Science, Seite 271-290. Springer, (1999)A Proof System for Verifying Composability of Abstract Implementations.. Semantics of Data Types, Volume 173 von Lecture Notes in Computer Science, Seite 357-374. Springer, (1984)Controlling Reuse in Pattern-Based Model-to-Model Transformations., , und . Graph Transformations and Model-Driven Engineering, Volume 5765 von Lecture Notes in Computer Science, Seite 175-201. Springer, (2010)Clausal Rewriting: Applications and Implementation., und . ADT, Volume 534 von Lecture Notes in Computer Science, Seite 204-219. Springer, (1990)Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications., , , und . Comput. J., 35 (5): 468-477 (1992)Passing Compatibility is almost Persistency.. ADT, Volume 116 von Informatik-Fachberichte, Seite 196-206. Springer, (1984)Correctness of actualization for parameterized implementation concepts based on constructors and abstractors., , und . Bulletin of the EATCS, (1995)Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms., , und . Bulletin of the EATCS, (1991)