( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems.

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Georg Gottlob Ungewitter

Walburga Gottlob

Gottlob Jung

Dieter Gottlob

Hans Gottlob

 

Другие публикации лиц с тем же именем

Disjunctive Datalog, , и . ACM Transactions on Database Systems(TODS), 22 (3): 364-418 (1997)Tractable Optimization Problems through Hypergraph-Based Structural Restrictions, , и . CoRR, (2012)Adding Disjunction to Datalog., , и . PODS, стр. 267-278. ACM Press, (1994)Conjunctive Queries over Trees., , и . PODS, стр. 189-200. ACM, (2004)Computing LOGCFL Certificates., , и . ICALP, том 1644 из Lecture Notes in Computer Science, стр. 361-371. Springer, (1999)On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic., и . J. Symb. Log., 63 (1): 73-82 (1998)Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract).. KR, стр. 647-649. Morgan Kaufmann, (1996)The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions, и . Journal of Computer and System Sciences, (1996)The complexity of logic-based abduction, и . Journal of the ACM, (1995)XPath processing in a nutshell, , и . SIGMOD Rec., 32 (1): 12--19 (2003)