Advertisement

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
    13. Rick Statman
      Pages 313-322
    14. Alex K. Simpson
      Pages 323-342
    15. Thorsten Altenkirch
      Pages 343-354
    16. Reinhard Pichler
      Pages 355-371
    17. G. Bonfante, A. Cichon, J. Y Marion, H. Touzet
      Pages 372-384
    18. Paliath Narendran, Michael Rusinowitch, Rakesh Verma
      Pages 385-398
    19. Matthias Baaz, Helmut Veith
      Pages 399-414
  4. Back Matter

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
  • Buy this book on publisher's site