( en | de | ru )

 

Disambiguierung von "Gottlob, Georg"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems.

, , und . Ann. Pure Appl. Log., 78 (1-3): 111-125 (1996)

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.

Georg Gottlob Ungewitter

Walburga Gottlob

Gottlob Jung

Dieter Gottlob

Hans Gottlob

 

Weitere Publikationen von Autoren mit dem selben Namen

Disjunctive Logic Programming over Finite Structures., , und . GI Jahrestagung, Seite 69-73. Springer, (1994)Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract).. LPNMR, Seite 265. MIT Press, (1993)Visual Data Extraction Through Visual Logic Programming.. NMR, Seite 4. (2002)Translation and Optimization of Logic Queries: The Algebraic Approach., , und . VLDB, Seite 395-402. Morgan Kaufmann, (1986)Complexity Results for Logic-Based Abduction., und . Structural Complexity and Recursion-theoretic methods in Logic-Programming, Seite 29-44. Mathematical Sciences Institute, Cornell University, (1992)From Carnap's Modal Logic to Autoepistemic Logic.. JELIA, Volume 838 von Lecture Notes in Computer Science, Seite 1-18. Springer, (1994)The Lixto Systems Applications in Business Intelligence and Semantic Web., , und . ESWC, Volume 4519 von Lecture Notes in Computer Science, Seite 16-26. Springer, (2007)Multiagent Compromises, Joint Fixpoints, and Stable Models., und . Computational Logic: Logic Programming and Beyond, Volume 2407 von Lecture Notes in Computer Science, Seite 561-585. Springer, (2002)HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings., , , und . CoRR, (2018)On the Complexity of Theory Curbing., und . LPAR, Volume 1955 von Lecture Notes in Computer Science, Seite 1-19. Springer, (2000)