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

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 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
  • About this book
Industry Sectors
Pharma
Automotive
Consumer Packaged Goods
Aerospace
Oil, Gas & Geosciences