Hundreds of Mathematics books at half price + FREE shipping! Get yours now >>

Lecture Notes in Computer Science

Functional and Logic Programming

7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings

Editors: Kameyama, Yukiyoshi, Stuckey, Peter J. (Eds.)

Buy this book

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

Table of contents (21 chapters)

  • A Brief Survey of Quantum Programming Languages

    Selinger, Peter

    Pages 1-6

  • Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic

    Hagiya, Masami (et al.)

    Pages 7-21

  • Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework

    Schürmann, Carsten

    Pages 22-23

  • Online Justification for Tabled Logic Programs

    Pemmasani, Giridhar (et al.)

    Pages 24-38

  • Constructive Intensional Negation

    Muñoz-Hernández, Susana (et al.)

    Pages 39-54

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Functional and Logic Programming
Book Subtitle
7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
Editors
  • Yukiyoshi Kameyama
  • Peter J. Stuckey
Series Title
Lecture Notes in Computer Science
Series Volume
2998
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-24754-8
DOI
10.1007/b96926
Softcover ISBN
978-3-540-21402-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 307
Topics