Abstract is missing.
- Monadic Second Order Logic, Tree Automata and Forbidden MinorsStefan Arnborg, Andrzej Proskurowski, Detlef Seese. 1-16
- On the Reduction Theory for Average Case ComplexityAndreas Blass, Yuri Gurevich. 17-30
- From Prolog Algebras Towards WAM - A Mathematical Study of ImplementationEgon Börger, Dean Rosenzweig. 31-66
- A Formal Operational Semantics for Languages of Type Prolog IIIEgon Börger, Peter H. Schmitt. 67-79
- Efficiency Considerations on Goal-Directed Chaining for Logic ProgramsWolfram Burgard. 80-94
- Decision Problems for Tarski and Presburger Arithmetics Extended With SetsDomenico Cantone, Vincenzo Cutello, Jacob T. Schwartz. 95-109
- A Fast Garbage Collection Algorithm for WAM-Based PrologIgor Durdanovic. 110-127
- A Resolution Variant Deciding some Classes of Clause SetsChristian G. Fermüller. 128-144
- Subclasses of Quantified Boolean FormulasAndreas Flögel, Marek Karpinski, Hans Kleine Büning. 145-155
- Algorithmic Proof with Diminishing Resources, Part 1Dov M. Gabbay. 156-173
- Cuting Plane Versus Frege Proof SystemsAndreas Goerdt. 174-194
- RAM with Compact Memory: A Realistic and Robust Model of ComputationEtienne Grandjean, J. M. Robson. 195-233
- Randomness and Turing Reducibility RestraintsKarol Habart. 234-247
- Towards an Efficient Tableau Proof Procedure for Multiple-Valued LogicsReiner Hähnle. 248-260
- Interactive Proof Systems: Provers, Rounds, and Error BoundsUlrich Hertrampf, Klaus W. Wagner. 261-273
- Logics for Belief DependenceZhisheng Huang. 274-288
- A Generalization of Stability and its Application to Circumscription of Positive Introspective KnowledgeJan Jaspars. 289-299
- The Complexity of Adaptive Error-Correcting CodesDaniele Mundici. 300-307
- Ramsey s Theorem in Bounded ArithmeticPavel Pudlák. 308-317
- Nontrivial Lower Bounds for some NP-Problems on Directed GraphsSolomampionona Ranaivoson. 318-339
- Expansions and Models of Autoepistemic TheoriesCecylia Rauszer. 340-353
- On the Existence of Fixpoints in Moore s Autoepistemic Logic and the Non-Monotonic Logic of McDermott and DoyleRobert F. Stärk. 354-365
- On the Tracking of Loops in Automated DeductionsM. E. Szabo. 366-388
- The Gap-Language-Technique RevisitedHeribert Vollmer. 389-399