Lecture Notes in Computer Science

COLOG-88

International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings

Editors: Martin-Löf, Per, Mints, Grigori (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-46963-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-52335-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.

Table of contents (4 chapters)

  • Inductively defined types

    Thierry Coquand, Christine Paulin

    Pages 50-66

  • Geometry of interaction 2: Deadlock-free algorithms

    Jean-Yves Girard

    Pages 76-93

  • Mathematics of infinity

    Per Martin-Löf

    Pages 146-197

  • Gentzen-type systems and resolution rules part I propositional logic

    G. Mints

    Pages 198-231

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-46963-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-52335-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
COLOG-88
Book Subtitle
International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
Editors
  • Per Martin-Löf
  • Grigori Mints
Series Title
Lecture Notes in Computer Science
Series Volume
417
Copyright
1990
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46963-6
DOI
10.1007/3-540-52335-9
Softcover ISBN
978-3-540-52335-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VI, 339
Topics