This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. More specifically, the papers deal with problems arising at the border of logic and computer science, e.g.

Honest polynomial-time degrees of elementary recursive sets.- On the verification of modules.- A logical operational semantics of full Prolog.- Set-theoretic reductions of Hilbert's tenth problem.- The complexity of subtheories of the existential linear theory of reals.- On test classes for universal theories.- Generalizing allowedness while retaining completeness of SLDNF-resolution.- Effectively given information systems and domains.- Davis-Putnam resolution versus unrestricted resolution.- On logical descriptions of some concepts in structural complexity theory.- Algebraic operational semantics and Occam.- Propositional provability and models of weak arithmetic.- Polymorphic recursion and semi-unification.- Deciding Horn classes by hyperresolution.- ?-branching programs of bounded width.- A predicate calculus with control of derivations.- Reducibility of monotone formulas to ?-formulas.- New ways for developing proof theories for first-order multi modal logics.- On the representation of data in lambda-calculus.- A streamlined temporal completeness theorem.- A concurrent branching time temporal logic.- Semantic for abstract fairness using metric spaces.- On the average time complexity of set partitioning.- A direct proof for the completeness of SLD-resolution.- A quantifier-free completion of logic programs.- Stratification of definite clause programs and of general logic programs.- The semantics of disjunctive deductive databases.- Sequential representation of primitive recursive functions, and complexity classes.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com