Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Computer Science

Logic Programming

19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings

Editors: Palamidessi, Catuscia (Ed.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD
  • ISBN 978-3-540-24599-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD

Table of contents (50 chapters)

Table of contents (50 chapters)
  • Achieving Type Safety for Low-Level Code

    Pages 1-2

    Morrisett, Greg

  • Logic Information Systems for Logic Programmers

    Pages 3-19

    Ridoux, Olivier

  • A Logic Programming View of Authorization in Distributed Systems

    Pages 20-46

    Winsborough, William H.

  • Compositional Verification of Infinite State Systems

    Pages 47-48

    Delzanno, Giorgio (et al.)

  • A Constraint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing Methods

    Pages 49-71

    Backofen, Rolf (et al.)

Buy this book

eBook $84.99
price for USA in USD
  • ISBN 978-3-540-24599-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic Programming
Book Subtitle
19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings
Editors
  • Catuscia Palamidessi
Series Title
Lecture Notes in Computer Science
Series Volume
2916
Copyright
2003
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-24599-5
DOI
10.1007/b94619
Softcover ISBN
978-3-540-20642-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 524
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.