Skip to main content
  • Conference proceedings
  • © 1975

Mathematical Foundations of Computer Science 1974

3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974

Editors:

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

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

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (44 papers)

  1. Simulation

    • A. Skowron
    Pages 186-201
  2. Concurrent programs

    • J. Winkowski
    Pages 202-221
  3. Ultralinear expressions

    • J. P. Crestin
    Pages 222-231
  4. Substring languages

    • J. MaÅ‚uszyÅ„ski
    Pages 274-284
  5. Defining languages by Mazurkiewicz aigorithms

    • W. A. Owsianiecka
    Pages 285-291
  6. Bases of paths in correctness proofs

    • V. K. Evtimov
    Pages 359-360
  7. Algebraic models I

    • Hans-Jürgen Hoehnke
    Pages 361-371
  8. On equivalence of programs

    • J. LeszczyÅ‚owski
    Pages 377-380

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