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

Mathematical Foundations of Computer Science 1980

9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings

Editors:

  1. P. Dembiński
    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 88)

Sections

Buy it now

Softcover Book USD 69.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 (53 papers)

  1. Front Matter

    PDF

  2. Formal description of programming concepts

    • Dines Bjørner
    Pages 1-21

  3. Electronic category theory

    • R. M. Burstall
    Pages 22-39

  4. An essay about research on sparse NP complete sets

    • J. Hartmanis, S. R. Mahaney
    Pages 40-57

  9. Conceptual relations between databases transformed under join and projection

    • G. Ausiello, C. Batini, M. Moscarini
    Pages 123-136

  10. The weighted Sperner's Set problem

    • X. Berenguer, J. Diaz
    Pages 137-141

  13. Consistent semantics for a data flow language

    • J. Dean Brock
    Pages 168-180

  14. Analog processes

    • Luca Cardelli
    Pages 181-193

  17. On finding the optimal access path to resolve a relational data base query

    • P. Degano, A. Lomanto, F. Sirovich
    Pages 219-230

  18. Compound algebraic implementations: An approach to stepwise refinement of software systems

    • H. Ehrig, H. -J. Kreowski, B. Mahr, P. Padawitz
    Pages 231-245

  19. On and/or schemes

    • David Harel
    Pages 246-260

  20. A term model for CCS

    • M. C. B. Hennessy, G. D. Plotkin
    Pages 261-274
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Mathematical Foundations of Computer Science 1980

  • Book Subtitle: 9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings

  • Editors: P. Dembiński

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0022491

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1980

  • Softcover ISBN: 978-3-540-10027-0Published: 01 August 1980

  • eBook ISBN: 978-3-540-38194-5Published: 23 November 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 726

  • Topics: Mathematical Logic and Formal Languages

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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