Skip to main content
  • Conference proceedings
  • © 1975

Mathematical Foundations of Computer Science 1975

4th Symposium Marianske Lazne, September 1-5, 1975

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

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 (59 papers)

  1. Control structures in single block programs

    • Venelin K. Evtimov
    Pages 212-218
  2. Isomorphic representation of automata

    • Ferenc Gécseg
    Pages 226-230
  3. Extended simple regular expressions

    • Hartmann J. Genrich
    Pages 231-237
  4. Conniver programs by logical point of view

    • Giuseppina Gini, Maria Gini
    Pages 238-245
  5. The continuous algebra of monadic languages

    • Klaus Indermark
    Pages 266-270
  6. On sets of complex-programmed Numbers

    • Max I. Kanovič
    Pages 271-272
  7. Automata and categories — Input processes

    • Václav Koubek, Jan Reiterman
    Pages 280-286
  8. Formalization of algorithmic reasoning

    • Fred Kröger
    Pages 287-293
  9. A contribution to error recovery

    • Jan Małuszyński
    Pages 302-307
  10. Monotone switching circuits and boolean matrix product

    • Kurt Mehlhorn, Zvi Galil
    Pages 315-319

Bibliographic Information

  • Book Title: Mathematical Foundations of Computer Science 1975

  • Book Subtitle: 4th Symposium Marianske Lazne, September 1-5, 1975

  • Editors: Jíří Bečvář

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-07389-2

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1975

  • Softcover ISBN: 978-3-540-07389-5Published: 15 August 1975

  • eBook ISBN: 978-3-540-37585-2Published: 08 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 480

  • Topics: Computation by Abstract Devices, Logics and Meanings of Programs

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