( en | de | ru )

 

Disambiguierung von "Rondogiannis, Panos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compiling Higher-Order Functions for Tagged-Dataflow.

, und . IFIP PACT, Volume A-50 von IFIP Transactions, Seite 269-278. North-Holland, (1994)

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.

Ara Panosyan

Ara Panosyan

Anja Panosch

Martin Panosch

Panos Meletis

 

Weitere Publikationen von Autoren mit dem selben Namen

Well-Founded Semantics for Boolean Grammars., , und . Developments in Language Theory, Volume 4036 von Lecture Notes in Computer Science, Seite 203-214. Springer, (2006)Minimum model semantics for logic programs with negation-as-failure., und . ACM Trans. Comput. Log., 6 (2): 441-467 (2005)Extensional Higher-Order Logic Programming, , , und . CoRR, (2011)Extensional Semantics for Higher-Order Logic Programs with Negation., und . JELIA, Volume 10021 von Lecture Notes in Computer Science, Seite 447-462. (2016)An Infinite-Valued Semantics for Logic Programs with Negation., und . JELIA, Volume 2424 von Lecture Notes in Computer Science, Seite 456-467. Springer, (2002)Cactus: A Branching-Time Logic Programming Language., , und . ECSQARU-FAPR, Volume 1244 von Lecture Notes in Computer Science, Seite 511-524. Springer, (1997)Extensional Semantics for Higher-Order Logic Programs with Negation., und . CoRR, (2017)A Game-Theoretic Characterization of Boolean Grammars., , und . Developments in Language Theory, Volume 5583 von Lecture Notes in Computer Science, Seite 334-347. Springer, (2009)On the expressive power of univariate equations over sets of natural numbers., und . IFIP TCS, Volume 273 von IFIP, Seite 215-227. Springer, (2008)Fixed-Point Semantics for Non-Monotonic Formalisms.. FICS, Seite 17. Laboratoire d'Informatique Fondamentale de Marseille, (2010)