Get 40% off select Statistics books or choose from thousands of Archive eBooks at 9.99 each!

Lecture Notes in Computer Science

Advances in Computing Science - ASIAN'98

4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings

Editors: Hsiang, Jieh, Ohori, Atsushi (Eds.)

Free Preview

Buy this book

eBook 59,49 €
price for Spain (gross)
  • ISBN 978-3-540-49366-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-540-65388-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (22 chapters)

Table of contents (22 chapters)
  • Testing Proofs by Examples

    Pages 1-3

    Hayashi, Susumu (et al.)

  • Rigid Reachability

    Pages 4-21

    Ganzinger, Harald (et al.)

  • Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover

    Pages 22-42

    Kapur, Deepak (et al.)

  • A Polymorphic Language Which Is Typable and Poly-step

    Pages 43-60

    Roversi, Luca

  • Cut Elimination for Classical Proofs as Continuation Passing Style Computation

    Pages 61-78

    Ogata, Ichiro

Buy this book

eBook 59,49 €
price for Spain (gross)
  • ISBN 978-3-540-49366-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-540-65388-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Advances in Computing Science - ASIAN'98
Book Subtitle
4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings
Editors
  • Jieh Hsiang
  • Atsushi Ohori
Series Title
Lecture Notes in Computer Science
Series Volume
1538
Copyright
1998
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49366-2
DOI
10.1007/3-540-49366-2
Softcover ISBN
978-3-540-65388-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 314
Topics