( en | de | ru )

 

Disambiguierung von "Fernández, Maribel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting.

, , , , , und . EGC, Volume E-33 von Revue des Nouvelles Technologies de l'Information, Seite 473-476. Éditions RNTI, (2017)

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.

Bárbara Fernández Fernández

Fernando Fernández

Victoria Fernández

Asunción Fernández

Pablo Fernández

 

Weitere Publikationen von Autoren mit dem selben Namen

Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization., , und . ESOP, Volume 1058 von Lecture Notes in Computer Science, Seite 387-403. Springer, (1996)Iterator Types., , , und . FoSSaCS, Volume 4423 von Lecture Notes in Computer Science, Seite 17-31. Springer, (2007)Workshop TERMGRAPH 2004.. ICGT, Volume 3256 von Lecture Notes in Computer Science, Seite 437-438. Springer, (2004)An Operational Approach to Program Extraction in the Calculus of Constructions., und . LOPSTR, Volume 2664 von Lecture Notes in Computer Science, Seite 111-125. Springer, (2002)Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics., , und . LOPSTR, Volume 8981 von Lecture Notes in Computer Science, Seite 148-163. Springer, (2014)From Term Rewriting to Generalised Interaction Nets., und . PLILP, Volume 1140 von Lecture Notes in Computer Science, Seite 319-333. Springer, (1996)Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega., und . ICALP, Volume 700 von Lecture Notes in Computer Science, Seite 657-668. Springer, (1993)Combining interaction nets with externally defined programs., , und . APPIA-GULP-PRODE, Seite 297-312. Departamento de Informática, Universidade de Évora, (2001)Type assignment and termination of interaction nets.. Math. Struct. Comput. Sci., 8 (6): 593-636 (1998)Call-by-Value lambda-Graph Rewriting Without Rewriting., und . ICGT, Volume 2505 von Lecture Notes in Computer Science, Seite 75-89. Springer, (2002)