PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Ornaghi, Mario"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Isoinitial Models for Logic Programs: Some Preliminary Results.

, und . ICLP, Seite 611. MIT Press, (1999)

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.

Mario Fuksa University of Stuttgart

Mario Heene

Mario Döbler University of Stuttgart

Mario Gaimann University of Stuttgart

Mario Hermle University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

A Constructivism Based on Classical Truth., , , und . Notre Dame Journal of Formal Logic, 30 (1): 67-90 (1989)Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods., , und . J. Symb. Comput., 18 (1): 41-81 (1994)Isoinitial Models for Logic Programs: Some Preliminary Results., und . ICLP, Seite 611. MIT Press, (1999)Proof Nets.. LOPSTR, Seite 61-79. Springer, (1992)On Correct Program Schemas., , und . LOPSTR, Volume 1463 von Lecture Notes in Computer Science, Seite 128-147. Springer, (1997)Forms of Logic Specifications: A Preliminary Study., und . LOPSTR, Volume 1207 von Lecture Notes in Computer Science, Seite 295-312. Springer, (1996)On Specification Frameworks and Deductive Synthesis of Logic Programs., und . LOPSTR, Volume 883 von Lecture Notes in Computer Science, Seite 104-121. Springer, (1994)On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic., , , und . LOPSTR, Volume 1817 von Lecture Notes in Computer Science, Seite 42-61. Springer, (1999)Monsters of Darwin: A Strategic Game Based on Artificial Intelligence and Genetic Algorithms., , , , und . GHITALY@CHItaly, Volume 1956 von CEUR Workshop Proceedings, CEUR-WS.org, (2017)PAP: A Logic Programming System Based on a Constructive Logic., , und . Foundations of Logic and Functional Programming, Volume 306 von Lecture Notes in Computer Science, Seite 143-156. Springer, (1986)