Conferences in DBLP
Stefan Arnborg , Andrzej Proskurowski , Detlef Seese Monadic Second Order Logic, Tree Automata and Forbidden Minors. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Blass , Yuri Gurevich On the Reduction Theory for Average Case Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Egon Börger , Dean Rosenzweig From Prolog Algebras Towards WAM - A Mathematical Study of Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Egon Börger , Peter H. Schmitt A Formal Operational Semantics for Languages of Type Prolog III. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfram Burgard Efficiency Considerations on Goal-Directed Chaining for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Domenico Cantone , Vincenzo Cutello , Jacob T. Schwartz Decision Problems for Tarski and Presburger Arithmetics Extended With Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Igor Durdanovic A Fast Garbage Collection Algorithm for WAM-Based Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Christian G. Fermüller A Resolution Variant Deciding some Classes of Clause Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Flögel , Marek Karpinski , Hans Kleine Büning Subclasses of Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP ] Conf ] Dov M. Gabbay Algorithmic Proof with Diminishing Resources, Part 1. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Goerdt Cuting Plane Versus Frege Proof Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Etienne Grandjean , J. M. Robson RAM with Compact Memory: A Realistic and Robust Model of Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Karol Habart Randomness and Turing Reducibility Restraints. [Citation Graph (0, 0)][DBLP ] Conf ] Reiner Hähnle Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics. [Citation Graph (1, 0)][DBLP ] Conf ] Ulrich Hertrampf , Klaus W. Wagner Interactive Proof Systems: Provers, Rounds, and Error Bounds. [Citation Graph (0, 0)][DBLP ] Conf ] Zhisheng Huang Logics for Belief Dependence. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Jaspars A Generalization of Stability and its Application to Circumscription of Positive Introspective Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Daniele Mundici The Complexity of Adaptive Error-Correcting Codes. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel Pudlák Ramsey's Theorem in Bounded Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] Solomampionona Ranaivoson Nontrivial Lower Bounds for some NP-Problems on Directed Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Cecylia Rauszer Expansions and Models of Autoepistemic Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Robert F. Stärk On the Existence of Fixpoints in Moore's Autoepistemic Logic and the Non-Monotonic Logic of McDermott and Doyle. [Citation Graph (0, 0)][DBLP ] Conf ] M. E. Szabo On the Tracking of Loops in Automated Deductions. [Citation Graph (0, 0)][DBLP ] Conf ] Heribert Vollmer The Gap-Language-Technique Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] 