Skip to main content
SpringerLink
Log in

Mathematical Foundations of Computer Science 1978

7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings

  • Conference proceedings
  • © 1978

Overview

Editors:
  1. J. Winkowski
    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 64)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (51 papers)

  1. Front Matter

    Download chapter PDF

  2. The connection between modal logic and algorithmic logics

    • P. van Emde Boas
    Pages 1-15

  3. The algebraic semantics of recursive program schemes

    • B. Courcelle, M. Nivat
    Pages 16-30

  4. Finding the correctness proof of a concurrent program

    • Edsger W. Dijkstra
    Pages 31-38

  5. An algebra for parallelism based on petri nets

    • V. E. Kotov
    Pages 39-55

  6. Data types as functions

    • Brian H. Mayoh
    Pages 56-70

  7. Synthesis of communicating behaviour

    • Robin Milner
    Pages 71-83

  8. Programming languages as mathematical objects

    • Eric G. Wagner, James W. Thatcher, Jesse B. Wright
    Pages 84-101

  9. Writing and verifying sequential files updating programs

    • M. Auguston
    Pages 102-111

  10. On the completeness of query languages for relational data bases

    • François Bancilhon
    Pages 112-123

  11. Mastering contextsensitivity in programming languages

    • Gerhard Barth
    Pages 124-133

  12. Decision problems concerning parallel programming

    • J. A. Bergstra
    Pages 134-142

  13. Attribute grammars and two-level grammars: A unifying approach

    • Piotr DembiÅ„ski, Jan MaÅ‚uszyÅ„ski
    Pages 143-154

  14. Extensions and implementations of abstract data type specifications

    • H. -D. Ehrich
    Pages 155-164

  15. Concurrency of manipulations in multidimensional information structures

    • Hartmut Ehrig, Barry K. Rosen
    Pages 165-176

  16. Deriving structures from structures

    • Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Josef Winkowski
    Pages 177-190

  17. Semantics of nondeterminism, concurrency and communication

    • Nissim Francez, C. A. R. Hoare, Willem P. de Roever
    Pages 191-200

  18. Contribution to the theory of concurrency in databases

    • G. Gardarin
    Pages 201-212

  19. Facts in place/transition-nets

    • Hartmann J. Genrich, Kurt Lautenbach
    Pages 213-231

  20. Loop programs and classes of primitive recursive functions

    • Bernhard Goetze, Werner Nehrlich
    Pages 232-238
Back to top

Keywords

Bibliographic Information

  • Book Title: Mathematical Foundations of Computer Science 1978

  • Book Subtitle: 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings

  • Editors: J. Winkowski

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-08921-7

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1978

  • Softcover ISBN: 978-3-540-08921-6Published: 01 August 1978

  • eBook ISBN: 978-3-540-35757-5Published: 06 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: IX, 556

  • Topics: Theory of Computation, Programming Languages, Compilers, Interpreters

Publish with us

Policies and ethics

Back to top

Search

Navigation