Skip to main content
SpringerLink
Log in

Computer Science Logic

12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Georg Gottlob

    1. Computing Laboratory, Oxford University, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Etienne Grandjean

    1. GREYC, Université de Caen, CNRS, Caen cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Katrin Seyr

    1.  ,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1584)

Included in the following conference series:

Conference proceedings info: CSL 1998.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Trakhtenbrot Theorem and Fuzzy Logic

      • Petr Hájek
      Pages 1-8

    2. Descriptive Complexity, Lower Bounds and Linear Time

      • Thomas Schwentick
      Pages 9-28

    3. Testing of Finite State Systems

      • Mihalis Yannakakis, David Lee
      Pages 29-44

  3. Contributed Papers

    1. On the Power of Quantifiers in First-Order Algebraic Specification

      • David Kempe, Arno Schönegge
      Pages 45-57

    2. On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases

      • Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi
      Pages 58-72

    3. Revision Programming = Logic Programming + Integrity Constraints

      • Victor Marek, Inna Pivkina, Mirosław Truszczyński
      Pages 73-89

    4. Quantifiers and the System KE: Some Surprising Results

      • Uwe Egly
      Pages 90-104

    5. Choice Construct and Lindström Logics

      • H. K. Hoang
      Pages 105-125

    6. Monadic NP and Graph Minors

      • Martin Kreidler, Detlef Seese
      Pages 126-141

    7. Invariant Definability and P/poly

      • J. A. Makowsky
      Pages 142-158

    8. Computational Complexity of Ehrenfeucht-Fraïssé Games on Finite Structures

      • Elena Pezzoli
      Pages 159-170

    9. An Upper Bound for Minimal Resolution Refutations

      • Hans Kleine Büning
      Pages 171-178

    10. On an Optimal Deterministic Algorithm for SAT

      • Zenon Sadowski
      Pages 179-187

    11. Characteristic Properties of Majorant-Computability Over the Reals

      • M. V. Korovina, O. V. Kudinov
      Pages 188-203

    12. Theorems of Péter and Parsons in Computer Programming

      • Ján Komara, Paul J. Voda
      Pages 204-223

    13. Kripke, Belnap, Urquhart and Relevant Decidability & Complexity

      • Jacques Riche, Robert K. Meyer
      Pages 224-240

    14. Existence and Uniqueness of Normal Forms in Pure Type Systems with βη-conversion

      • Gilles Barthe
      Pages 241-259

    15. Normalization of Typable Terms by Superdevelopments

      • Zurab Khasidashvili, Adolfo Piperno
      Pages 260-282

    16. Subtyping Functional+Nonempty Record Types

      • Sergei Vorobyov
      Pages 283-297
Back to top

Other volumes

  1. Computer Science Logic

Editors and Affiliations

  • Computing Laboratory, Oxford University, United Kingdom

    Georg Gottlob

  • GREYC, Université de Caen, CNRS, Caen cedex, France

    Etienne Grandjean

  •  ,  

    Katrin Seyr

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation