Author of the publication

Computing LOGCFL Certificates.

, , and . ICALP, volume 1644 of Lecture Notes in Computer Science, page 361-371. Springer, (1999)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings., , , and . CoRR, (2018)Multiagent Compromises, Joint Fixpoints, and Stable Models., and . Computational Logic: Logic Programming and Beyond, volume 2407 of Lecture Notes in Computer Science, page 561-585. Springer, (2002)The Lixto Systems Applications in Business Intelligence and Semantic Web., , and . ESWC, volume 4519 of Lecture Notes in Computer Science, page 16-26. Springer, (2007)On the Complexity of Theory Curbing., and . LPAR, volume 1955 of Lecture Notes in Computer Science, page 1-19. Springer, (2000)A Comparison of Structural CSP Decomposition Methods., , and . IJCAI, page 394-399. Morgan Kaufmann, (1999)Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information., , and . IJCAI, page 634-639. Morgan Kaufmann, (1993)RED: Redundancy-Driven Data Extraction from Result Pages?, , , , and . WWW, page 605-615. ACM, (2019)Disjunctive Logic Programming over Finite Structures., , and . GI Jahrestagung, page 69-73. Springer, (1994)Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract).. LPNMR, page 265. MIT Press, (1993)Visual Data Extraction Through Visual Logic Programming.. NMR, page 4. (2002)