ISBN: 3-540-65922-6
TITLE: Computer Science Logic
AUTHOR: Gottlob, Georg; Grandjean, Etienne; Seyr, Katrin (Eds.)
TOC:

Invited Papers
Trakhtenbrot Theorem and Fuzzy Logic
P. Hjek 1
Descriptive Complexity, Lower Bounds and Linear Time
Th. Schwentick 9
Testing of Finite State Systems
M. Yannakakis and D. Lee 29
Contributed Papers
On the Power of Quantifiers in First-Order Algebraic Specification
D. Kempe and A. Schnegge 45
On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases
F. Giannotti, G. Manco, M. Nanni and D. Pedreschi 58
Revision Programming = Logic Programming + Integrity Constraints
V. Marek, I. Pivkina and M. Truszczynski 73
Quantifiers and the System KE: Some Surprising Results
U. Egly 90
Choice Construct and Lindstrm Logics
H. K. Hoang 105
Monadic NP and Graph Minors
M. Kreidler and D. Seese 126
Invariant Definability and P/poly
J.A. Makowsky 142
Computational Complexity of EhrenfeuchtFrass Games on Finite Structures
E. Pezzoli 159
An Upper Bound for Minimal Resolution Refutations
H. Kleine Bning 171
On an Optimal Deterministic Algorithm for SAT
Z. Sadowski 179
Characteristic Properties of Majorant-Computability over the Reals
M.V. Korovina and O.V. Kudinov 188
Theorems of Pter and Parsons in Computer Programming
J. Komara and P.J. Voda 204
Kripke, Belnap, Urquhart and Relevant Decidability & Complexity
J. Riche and R.K. Meyer224
Existence and Uniqueness of Normal Forms in Pure Type Systems with beta eta-conversion
G. Barthe 241
Normalization of Typable Terms by Superdevelopments
Z. Khasidashvili and A. Piperno 260
Subtyping Functional + Nonempty Record Types
S. Vorobyov 283
Monotone Fixed-Point Types and Strong Normalization
R. Matthes 298
Morphisms and Partitions of V -sets
R. Statman 313
Computational Adequacy in an Elementary Topos
A. K. Simpson 323
Logical Relations and Inductive/Coinductive Types
Th. Altenkirch 343
On the Complexity of H-Subsumption
R. Pichler 355
Complexity Classes and Rewrite Systems with Polynomial Interpretation
G. Bonfante, A. Cichon, J.-Y. Marion and H. Touzet 372
RPO Constraint Solving Is in NP
P. Narendran, M. Rusinowitch and R. Verma 385
Quantifier Elimination in Fuzzy Logic
M. Baaz and H. Veith 399
Many-Valued First-Order Logics with Probabilistic Semantics
Th. Lukasiewicz 415
Author Index 431
END
