Advertisement

Table of contents

  1. Front Matter
  2. W. M. Bartol, A. Kreczmar, A. I. Litwiniuk, H. Oktaba
    Pages 45-80
  3. Ewa Orłowska
    Pages 205-212
  4. Uwe Petermann
    Pages 213-223
  5. Gordon Plotkin
    Pages 250-252
  6. Andrzej Skowron
    Pages 258-269
  7. Lucjan Stapp
    Pages 270-294
  8. M. E. Szabo
    Pages 295-303
  9. M. K. Valiev
    Pages 304-313

About these proceedings

Keywords

Erfüllbarkeitsproblem der Aussagenlogik Parallelverarbeitung (EDV) Programmierlogik Programs algorithms complexity logic parallelism petri net semantics

Bibliographic information

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