( en | de | ru )

 

Disambiguierung von "Rondogiannis, Panos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the expressive power of univariate equations over sets of natural numbers.

, und . Inf. Comput., (2012)

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

An Infinite-Valued Semantics for Logic Programs with Negation., und . JELIA, Volume 2424 von Lecture Notes in Computer Science, Seite 456-467. Springer, (2002)Extensional Semantics for Higher-Order Logic Programs with Negation., und . JELIA, Volume 10021 von Lecture Notes in Computer Science, Seite 447-462. (2016)Cactus: A Branching-Time Logic Programming Language., , und . ECSQARU-FAPR, Volume 1244 von Lecture Notes in Computer Science, Seite 511-524. Springer, (1997)Well-Founded Semantics for Boolean Grammars., , und . Developments in Language Theory, Volume 4036 von Lecture Notes in Computer Science, Seite 203-214. Springer, (2006)Extensional Higher-Order Logic Programming, , , und . CoRR, (2011)Minimum model semantics for logic programs with negation-as-failure., und . ACM Trans. Comput. Log., 6 (2): 441-467 (2005)On the expressive power of univariate equations over sets of natural numbers., und . Inf. Comput., (2012)Stratified negation in temporal logic programming and the cycle-sum test.. Theor. Comput. Sci., 254 (1-2): 663-676 (2001)Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective., , und . Theory Pract. Log. Program., 22 (5): 708-722 (2022)On the Number of Spanning Trees of Multi-Star Related Graphs., und . Inf. Process. Lett., 65 (4): 183-188 (1998)