Abstract is missing.
- Diagonalizing over Deterministic Polynomial TimeKlaus Ambos-Spies, Hans Fleischhack, Hagen Huwig. 1-16
- Resolution with Feature UnificationKarl-Hans Bläsius, Ulrich Hedtstück. 17-26
- Surjectivity for Finite Sets of Combinators by Weak ReductionCorrado Böhm, Adolfo Piperno. 27-43
- Proving Finite Satisfiability of Deductive DatabasesFrançois Bry, Rainer Manthey. 44-55
- Is SETL a Suitable Language for Parallel Programming - A Theoretical ApproachElias Dahlhaus. 56-63
- Loose Diagrams, Semigroupoids, Categories, Groupoids and IterationGiorgio Germano, Stefano Mazzanti. 64-80
- Algebraic Operational Semantics and Modula-2Yuri Gurevich, James M. Morris. 81-101
- Program Verification Using Dynamic LogicMaritta Heisel, Wolfgang Reif, Werner Stephan. 102-117
- Induction in the Elementary Theory of Types and NamesGerhard Jäger. 118-128
- On the Computational Complexity of Quantified Horn ClausesMarek Karpinski, Hans Kleine Büning, Peter H. Schmitt. 129-137
- The Conjunctive Complexity of Quadratic Boolean FunctionsKatja Lenz, Ingo Wegener. 138-150
- On Type Inference for Object-Oriented Programming LanguagesHans Leiß. 151-172
- Optimization Aspects of Logical FormulasUlrich Löwen. 173-187
- Logic of Approximation ReasoningHelena Rasiowa. 188-210
- Deciding the Path- and Word-Fair Equivalence ProblemRalf Rehrmann, Lutz Priese. 211-222
- Learning by Teams from Examples with ErrorsReinhard Rinn, Britta Schinzel. 223-234
- A Survey of Rewrite SystemsPeter H. Schmitt. 235-262
- Interfacing a Logic MachineWolfgang Schönfeld. 263-272
- Complexity Cores and Hard-To-Prove FormulasUwe Schöning. 273-280
- On the Average Case Complexity of Backtracking for the Exact-Satisfiability ProblemEwald Speckenmeyer. 281-288
- On Functions Computable in Nondeterministic Polynomial Time: Some CharacterizationsDieter Spreen. 289-303
- Developing Logic Programs: Computing Through NormalizingOlga Stepánková, Petr Stepánek. 304-321
- Model Theory of Deductive DatabasesHugo Volger. 322-334
- Algorithms for Propositional UpdatesAndreas Weber 0002. 335-346