PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Pino, Elvira"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Constructive negation without subsidiary trees.

, , und . WFLP, Seite 195-209. (2000)

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 Pino, Elvira
Eine Person hinzufügen mit dem Namen Pino, Elvira
 

Weitere Publikationen von Autoren mit dem selben Namen

A Monotonic Declarative Semantics for Normal Logic Programs., , und . APPIA-GULP-PRODE, Seite 271-282. (1997)A General Algebraic Framework for Studying Modular Systems., und . WADT, Volume 1827 von Lecture Notes in Computer Science, Seite 271-290. Springer, (1999)Object-Oriented Connector-Component Architectures., , , , , und . Electron. Notes Theor. Comput. Sci., 141 (3): 123-151 (2005)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)Tight and Loose Semantics for Transformation Systems., , und . WADT, Volume 2267 von Lecture Notes in Computer Science, Seite 238-255. Springer, (2001)Semantic Definitions for Normal Open Programs., und . ICLP, Seite 200-214. MIT Press, (1999)On the Integration of Modular Heterogeneous Specifications., und . SoftSpez Final Report, Volume 3147 von Lecture Notes in Computer Science, Seite 582-601. Springer, (2004)A Functorial Framework for Constraint Normal Logic Programming., , , und . Applied Categorical Structures, 16 (3): 421-450 (2008)A Generic Approach to Connector Architectures Part I: The General Framework., , , , , und . Fundam. Inform., 99 (1): 63-93 (2010)Institutions for navigational logics for graphical structures., , , und . Theor. Comput. Sci., (2018)