Advertisement

Table of contents

  1. Front Matter
  2. David Pitt
    Pages 1-15
  3. David E. Rydeheard
    Pages 43-50
  4. David E. Rydeheard
    Pages 51-57
  5. Axel Poigné
    Pages 76-102
  6. Axel Poigné
    Pages 103-142
  7. Ernest G. Manes
    Pages 182-197
  8. M. B. Smyth
    Pages 225-241
  9. A. Labella, A. Pettorossi
    Pages 282-298
  10. A. Melton, D. A. Schmidt, G. E. Strecker
    Pages 299-312
  11. Andrzej Tarlecki
    Pages 334-363
  12. Horst Reichel
    Pages 390-411
  13. Michael P. Fourman
    Pages 434-448
  14. D. E. Rydeheard, R. M. Burstall
    Pages 493-505
  15. R. Burstall, D. Rydeheard
    Pages 506-517
  16. Back Matter

About this book

Keywords

algorithm algorithms data model logic programming programming language semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-17162-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-17162-1
  • Online ISBN 978-3-540-47213-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site