CSL '89

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 29 Honest polynomial-time degrees of elementary recursive sets
3. Altmetric Badge
   Chapter 30 On the verification of modules
4. Altmetric Badge
   Chapter 31 A logical operational semantics of full Prolog
5. Altmetric Badge
   Chapter 32 Set-theoretic reductions of Hilbert's tenth problem
6. Altmetric Badge
   Chapter 33 The complexity of subtheories of the existential linear theory of reals
7. Altmetric Badge
   Chapter 34 On test classes for universal theories
8. Altmetric Badge
   Chapter 35 Generalizing allowedness while retaining completeness of SLDNF-resolution
9. Altmetric Badge
   Chapter 36 Effectively given information systems and domains
10. Altmetric Badge
    Chapter 37 Davis-Putnam resolution versus unrestricted resolution
11. Altmetric Badge
    Chapter 38 On logical descriptions of some concepts in structural complexity theory
12. Altmetric Badge
    Chapter 39 Algebraic operational semantics and Occam
13. Altmetric Badge
    Chapter 40 Propositional provability and models of weak arithmetic
14. Altmetric Badge
    Chapter 41 Polymorphic recursion and semi-unification
15. Altmetric Badge
    Chapter 42 Deciding Horn classes by hyperresolution
16. Altmetric Badge
    Chapter 43 Ω-branching programs of bounded width
17. Altmetric Badge
    Chapter 44 A predicate calculus with control of derivations
18. Altmetric Badge
    Chapter 45 Reducibility of monotone formulas to μ-formulas
19. Altmetric Badge
    Chapter 46 New ways for developing proof theories for first-order multi modal logics
20. Altmetric Badge
    Chapter 47 On the representation of data in lambda-calculus
21. Altmetric Badge
    Chapter 48 A streamlined temporal completeness theorem
22. Altmetric Badge
    Chapter 49 A concurrent branching time temporal logic
23. Altmetric Badge
    Chapter 50 Semantic for abstract fairness using metric spaces
24. Altmetric Badge
    Chapter 51 On the average time complexity of set partitioning
25. Altmetric Badge
    Chapter 52 A direct proof for the completeness of SLD-resolution
26. Altmetric Badge
    Chapter 53 A quantifier-free completion of logic programs
27. Altmetric Badge
    Chapter 54 Stratification of definite clause programs and of general logic programs
28. Altmetric Badge
    Chapter 55 The semantics of disjunctive deductive databases
29. Altmetric Badge
    Chapter 56 Sequential representation of primitive recursive functions, and complexity classes