Shop the Archives and get your next eBook for just 14.99! Stock up today >>

Lecture Notes in Computer Science

Computer Science Logic

6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

Editors: Börger, E., Jäger, G., Kleine Büning, H., Martini, S., Richter, M.M. (Eds.)

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-47890-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-56992-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were selected for publication, and appear here in revised final form. Topics covered in the volume include: Turing machines, linear logic, logic of proofs, optimization problems, lambda calculus, fixpoint logic, NP-completeness, resolution, transition system semantics, higher order partial functions, evolving algebras, functional logic programming, inductive definability, semantics of C, classes for a functional language, NP-optimization problems, theory of types and names, sconing and relators, 3-satisfiability, Kleene's slash, negation-complete logic programs, polynomial-time oracle machines, and monadic second-order properties.

Table of contents (26 chapters)

  • A universal Turing machine

    Aanderaa, Stål

    Pages 1-4

  • Recursive inseparability in linear logic

    Aanderaa, Stål (et al.)

    Pages 5-13

  • The basic logic of proofs

    Artëmov, Sergei (et al.)

    Pages 14-28

  • Algorithmic structuring of cut-free proofs

    Baaz, Matthias (et al.)

    Pages 29-42

  • Optimization problems: Expressibility, approximation properties and expected asymptotic growth of optimal solutions

    Behrendt, Thomas (et al.)

    Pages 43-60

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-47890-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-56992-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Science Logic
Book Subtitle
6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
Editors
  • Egon Börger
  • Gerhard Jäger
  • Hans Kleine Büning
  • Simone Martini
  • Michael M. Richter
Series Title
Lecture Notes in Computer Science
Series Volume
702
Copyright
1993
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47890-4
DOI
10.1007/3-540-56992-8
Softcover ISBN
978-3-540-56992-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
IX, 439
Topics