Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1976

Mathematical Foundations of Computer Science 1976

5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings

Editors:

  1. Antoni Mazurkiewicz
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Sections

Buy it now

Softcover Book USD 109.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 (78 papers)

  1. Front Matter

    PDF

  2. Exercises in denotational semantics

    • K. R. Apt, J. W. de Bakker
    Pages 1-11

  3. W-automata and their languages

    • Wilfried Brauer
    Pages 12-22

  5. The effective arrangement of logical systems

    • Edsger W. Dijkstra
    Pages 39-51

  8. On the branching structure of languages

    • Ivan M. Havel
    Pages 81-98

  9. Algorithms and real numbers

    • N. M. Nagorny
    Pages 99-104

  10. On mappings of machines

    • Miroslav Novotný
    Pages 105-114

  11. Recent results on L systems

    • Arto Salomaa
    Pages 115-123

  12. Decision problems for multi-tape automata

    • Peter H. Starke
    Pages 124-136

  13. Recursive program schemes and computable functionals

    • B. A. Trakhtenbrot
    Pages 137-152

  14. Some fundamentals of order-algebraic semantics

    • E. G. Wagner, J. B. Wright, J. A. Goguen, J. W. Thatcher
    Pages 153-168

  15. On attribute grammars

    • V. N. Agafonov
    Pages 169-172

  16. Formal definition of semantics of generalized control regimes

    • L. Aiello, M. Aiello, G. Attardi, P. Cavallari, G. Prini
    Pages 173-179

  17. Minimal while programs

    • E. S. Bainbridge
    Pages 180-186

  18. On specific features of recognizable families of languages

    • Václav Benda, Kamila Bendová
    Pages 187-193

  19. On the termination of simple computer programs

    • Eberhard Bergmann
    Pages 194-201

  20. Reduction of Petri-nets

    • G. Berthelot, G. Roucairol
    Pages 202-209
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Mathematical Foundations of Computer Science 1976

  • Book Subtitle: 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings

  • Editors: Antoni Mazurkiewicz

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-07854-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1976

  • Softcover ISBN: 978-3-540-07854-8Published: 01 July 1976

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

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 610

  • Topics: Theory of Computation, Computer Science, general

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 109.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

Search

Navigation