Advertisement

Table of contents

  1. Front Matter
  2. R. A. Kowalski
    Pages 1-12
  3. T S E Maibaum, M R Sadler, P A S Veloso
    Pages 13-30
  4. R. Ramanujam, R. K. Shyamasundar
    Pages 31-43
  5. Asis K. Goswami, L. M. Patnaik
    Pages 44-59
  6. M. Nielsen, P. S. Thiagarajan
    Pages 89-117
  7. Gad Taubenfeld, Nissim Francez
    Pages 118-118
  8. Saumya K. Debray, Ariel J. Frank, Scott A. Smolka
    Pages 136-151
  9. Bhargab B Bhattacharya, Suranjan Ghose, Bhabani P Sinha, Pradip K Srimani
    Pages 152-164
  10. Stathis Zachos, Hans Heller
    Pages 179-187
  11. Kamala Krithivasan, Anindya Das
    Pages 188-201
  12. Malcolm P. Atkinson, Ronald Morrison
    Pages 223-240
  13. Rajiv Kane, Sartaj Sahni
    Pages 259-278
  14. Christos Levcopoulos, Andrzej Lingas
    Pages 279-295
  15. I. V. Ramakrishnan, P. J. Varman
    Pages 296-316
  16. Gael N. Buckley, A. Silberschatz
    Pages 331-343
  17. V. S. Lakshmanan, N. Chandrasskaran, C. E. Veni Madhavan
    Pages 344-366
  18. F. de Santis, M. I. Sessa
    Pages 379-379
  19. Bruno Poizat
    Pages 380-380
  20. A. K. Pal, A. Bagchi
    Pages 419-434
  21. P. Gupta, G. P. Bhattacharjee
    Pages 435-442
  22. Gadi Taubenfeld, Nissim Francez
    Pages 443-465
  23. Back Matter

About these proceedings

Keywords

Computer Software algorithm algorithms computer science database design functional programming knowledge representation logic modeling petri net programming theoretical computer science

Bibliographic information

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