( en | de | ru )

 

Disambiguierung von "Orejas, Fernando"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Generic Framework for Connector Architectures based on Components and Transformations.

, , , , , , und . Electron. Notes Theor. Comput. Sci., (2004)

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 Cox

Fernando Silva

Fernando Wiens

Fernando Rinaldi

Fernando Boenicke

 

Weitere Publikationen von Autoren mit dem selben Namen

New Concepts for Amalgamation and Extension in the Framework of Specification Logics., , und . Current Trends in Theoretical Computer Science, Volume 40 von World Scientific Series in Computer Science, World Scientific, (1993)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)From Basic Views and Aspects to Integration of Specification Formalisms., , und . Bulletin of the EATCS, (1999)Characterizing Confusion., , und . Bulletin of the EATCS, (1993)A Monotonic Declarative Semantics for Normal Logic Programs., , und . APPIA-GULP-PRODE, Seite 271-282. (1997)Passing Compatibility is almost Persistency.. ADT, Volume 116 von Informatik-Fachberichte, Seite 196-206. Springer, (1984)Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results., , und . Math. Struct. Comput. Sci., 6 (1): 33-67 (1996)Categorical Foundations of Distributed Graph Transformation., , und . ICGT, Volume 4178 von Lecture Notes in Computer Science, Seite 215-229. Springer, (2006)Clausal Rewriting: Applications and Implementation., und . ADT, Volume 534 von Lecture Notes in Computer Science, Seite 204-219. Springer, (1990)