Skip to main content
  • Conference proceedings
  • © 1985

Computation Theory

Fifth Symposium, Zaborow, Poland, December 3-8, 1984 Proceedings

Editors:

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 208)

Conference series link(s): SCT: Symposium on Computation Theory

Conference proceedings info: SCT 1984.

Buy it now

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Table of contents (32 papers)

  1. Front Matter

  2. A note on selection networks

    • Krzysztof Diks
    Pages 54-57
  3. Non-uniformity of dynamic logic

    • Michał Grabowski
    Pages 91-97
  4. Concatenation of program modules an algebraic approach to the semantic and implementation problems

    • Manfred Krause, Hans Langmaack, Antoni Kreczmar, Marek Warpechowski
    Pages 134-156
  5. Equational μ-calculus

    • Damian Niwiński
    Pages 169-176
  6. A logic of indiscernibility relations

    • Ewa Orlowska
    Pages 177-186
  7. Rough sets and decision tables

    • Z. Pawlak
    Pages 187-196

Other Volumes

  1. Computation Theory

Bibliographic Information

Buy it now

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access