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 net
( price for USA )
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46963-6
  • digitally watermarked, no DRM
  • included format:
  • eBooks can be used on all Reading Devices
Softcover $99.00 net
( 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 chapter)

  • Inductively defined types

    Thierry Coquand, Christine Paulin

    Pages 50-66

    Buy Chapter $29.95
  • Geometry of interaction 2: Deadlock-free algorithms

    Jean-Yves Girard

    Pages 76-93

    Buy Chapter $29.95
  • Mathematics of infinity

    Per Martin-Löf

    Pages 146-197

    Buy Chapter $29.95
  • Gentzen-type systems and resolution rules part I propositional logic

    G. Mints

    Pages 198-231

    Buy Chapter $29.95
Free Preview

Buy this book

eBook $69.99 net
( price for USA )
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46963-6
  • digitally watermarked, no DRM
  • included format:
  • eBooks can be used on all Reading Devices
Softcover $99.00 net
( price for USA )
  • ISBN 978-3-540-52335-2
  • free shipping for individuals worldwide
  • usually dispatched within 3 to 5 business days

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
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
Topics