Computer Science Logic

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

  • Georg Gottlob
  • Etienne Grandjean
  • Katrin Seyr
Conference proceedings CSL 1998

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Petr Hájek
      Pages 1-8
    2. Mihalis Yannakakis, David Lee
      Pages 29-44
  3. Contributed Papers

    1. Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi
      Pages 58-72
    2. Victor Marek, Inna Pivkina, Mirosław Truszczyński
      Pages 73-89
    3. H. K. Hoang
      Pages 105-125
    4. Martin Kreidler, Detlef Seese
      Pages 126-141
    5. J. A. Makowsky
      Pages 142-158
    6. Hans Kleine Büning
      Pages 171-178
    7. Zenon Sadowski
      Pages 179-187
    8. M. V. Korovina, O. V. Kudinov
      Pages 188-203
    9. Ján Komara, Paul J. Voda
      Pages 204-223
    10. Jacques Riche, Robert K. Meyer
      Pages 224-240
    11. Zurab Khasidashvili, Adolfo Piperno
      Pages 260-282
    12. Sergei Vorobyov
      Pages 283-297

About these proceedings

Keywords

Computational Complexity Computer Science Logic Constraint Fuzzy Fuzzy Logic Induction Mathematical Logic Partition algorithm complexity databases logic logic programming programming semantics

Editors and affiliations

  • Georg Gottlob
    • 1
  • Etienne Grandjean
    • 2
  • Katrin Seyr
    • 3
  1. 1.Computing LaboratoryOxford UniversityUnited Kingdom
  2. 2.GREYCUniversité de Caen, CNRSCaen cedexFrance
  3. 3.  

Bibliographic information

  • DOI https://doi.org/10.1007/10703163
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65922-8
  • Online ISBN 978-3-540-48855-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace