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

Mathematical Foundations of Computer Science 1977

6th Symposium, Tatranska Lomnica September 5-9, 1977. Proceedings

Editors:

  1. Jozef Gruska
    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 53)

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

  2. An algebraic approach to problem solution and problem semantics

    • A. Bertoni, G. Mauri, M. Torelli
    Pages 253-262

  6. Formal transformations and the development of programs

    • Friedrich W. von Henke
    Pages 288-296

  10. Schematology in a MJ I/T I-language OPT imizer

    • V. N. Kasyanov, S. B. Pokrovsky
    Pages 315-323

  14. Reducing operators for normed general formal systems

    • Manfred Kudlek, Miroslav Novotný
    Pages 350-358

  15. Invariant properties of informational bulks

    • L. A. Levin, V. V. V jugin
    Pages 359-364

  17. On the logic of incomplete information

    • Witold Lipski Jr.
    Pages 374-381

  18. Measures of ambiguity in the analysis of complex systems

    • Aldo De Luca, Settimo Termini
    Pages 382-389

  19. Two-level meta-controlled substitution grammars

    • R. Meersman, G. Rozenberg
    Pages 390-397

  20. A calculus to build up correct programs

    • P. A. Miglioli, M. Ornaghi
    Pages 398-409
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Mathematical Foundations of Computer Science 1977

  • Book Subtitle: 6th Symposium, Tatranska Lomnica September 5-9, 1977. Proceedings

  • Editors: Jozef Gruska

  • Series Title: Lecture Notes in Computer Science

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1977

  • Softcover ISBN: 978-3-540-08353-5Published: 01 August 1977

  • eBook ISBN: 978-3-540-37285-1Published: 13 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIII, 599

  • 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