Advertisement

Table of contents

  1. Front Matter
  2. Krzysztof Diks
    Pages 54-57
  3. Michał Grabowski
    Pages 91-97
  4. Manfred Krause, Hans Langmaack, Antoni Kreczmar, Marek Warpechowski
    Pages 134-156
  5. Damian Niwiński
    Pages 169-176
  6. Ewa Orlowska
    Pages 177-186
  7. Z. Pawlak
    Pages 187-196
  8. Z. Pawlak
    Pages 197-227
  9. Alberto Pettorossi, Andrzej Skowron
    Pages 228-250
  10. Slavian Radev
    Pages 251-264
  11. Zbigniew W. Ras, Maria Zemankova-Leech
    Pages 265-275
  12. Helena Rasiowa
    Pages 276-287
  13. Helena Rasiowa, Andrzej Skowron
    Pages 288-297
  14. Wojciech Rytter
    Pages 318-325
  15. Dimiter Skordev
    Pages 326-331
  16. Peter H. Starke
    Pages 332-349
  17. Zbigniew Suraj
    Pages 350-363
  18. Tinko Tinchev, Dimiter Vakarelov
    Pages 364-374
  19. M. Venturini Zilli
    Pages 375-384
  20. Jolanta Warpechowska
    Pages 385-397

About these proceedings

Keywords

Computation Erfüllbarkeitsproblem der Aussagenlogik algorithm algorithms automata calculus complexity logic regular expressions semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-16066-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1985
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-16066-3
  • Online ISBN 978-3-540-39748-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Consumer Packaged Goods
Aerospace
Oil, Gas & Geosciences