Invited Papers |
Trakhtenbrot Theorem and Fuzzy Logic / P. Hajek |
Descriptive Complexity, Lower Bounds and Linear Time / Th. Schwentick |
Testing of Finite State Systems / M. Yannakakis ; D. Lee |
Contributed Papers |
On the Power of Quantifiers in First-Order Algebraic Specification / D. Kempe ; A. Schönegge |
On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases / F. Giannotti ; G. Manco ; M. Nanni ; D. Pedreschi |
Revision Programming = Logic Programming + Integrity Constraints / V. Marek ; I. Pivkina ; M. Truszczynski |
Quantifiers and the System KE: Some Surprising Results / U. Egly |
Choice Construct and Lindström Logics / H. K. Hoang |
Monadic NP and Graph Minors / M. Kreidler ; D. Seese |
Invariant Definability and P/poly / J.A. Makowsky |
Computational Complexity of Ehrenfeucht-Fra¿isse Games on Finite Structures / E. Pezzoli |
An Upper Bound for Minimal Resolution Refutations / H. Kleine Büning |
On an Optimal Deterministic Algorithm for SAT / Z. Sadowski |
Characteristic Properties of Majorant-Computability over the Reals / M.V. Korovina ; O.V. Kudinov |
Theorems of Péter and Parsons in Computer Programming / J. Komara ; P.J. Voda |
Kripke, Belnap, Urquhart and Relevant Decidability & Complexity / J. Riche ; R.K. Meyer |
Existence and Uniqueness of Normal Forms in Pure Type Systems with βη- conversion / G. Barthe |
Normalization of Typable Terms by Superdevelopments / Z. Khasidashvili ; A. Piperno |
Subtyping Functional + Nonempty Record Types / S. Vorobyov |
Monotone Fixed-Point Types and Strong Normalization / R. Matthes |
Morphisms and Partitions of V-sets / R. Statman |
Computational Adequacy in an Elementary Topos / A. K. Simpson |
Logical Relations and Inductive/Coinductive Types / Th. Altenkirch |
On the Complexity of H-Subsumption / R. Pichler |
Complexity Classes and Rewrite Systems with Polynomial Interpretation / G. Bonfante ; A. Cichon ; JY. Marion ; H. Touzet |
RPO Constraint Solving Is in NP / P. Narendran ; M. Rusinowitch ; R. Verma |
Quantifier Elimination in Fuzzy Logic / M. Baaz ; H. Veith |
Many-Valued First-Order Logics with Probabilistic Semantics / Th. Lukasiewicz |
Author Index |
Invited Papers |
Trakhtenbrot Theorem and Fuzzy Logic / P. Hajek |
Descriptive Complexity, Lower Bounds and Linear Time / Th. Schwentick |