↓ Skip to main content

Mathematical Foundations of Computer Science 1978

Overview of attention for book
Cover of 'Mathematical Foundations of Computer Science 1978'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 52 The connection between modal logic and algorithmic logics
  3. Altmetric Badge
    Chapter 53 The algebraic semantics of recursive program schemes
  4. Altmetric Badge
    Chapter 54 Finding the correctness proof of a concurrent program
  5. Altmetric Badge
    Chapter 55 An algebra for parallelism based on petri nets
  6. Altmetric Badge
    Chapter 56 Data types as functions
  7. Altmetric Badge
    Chapter 57 Synthesis of communicating behaviour
  8. Altmetric Badge
    Chapter 58 Programming languages as mathematical objects
  9. Altmetric Badge
    Chapter 59 Writing and verifying sequential files updating programs
  10. Altmetric Badge
    Chapter 60 On the completeness of query languages for relational data bases
  11. Altmetric Badge
    Chapter 61 Mastering contextsensitivity in programming languages
  12. Altmetric Badge
    Chapter 62 Decision problems concerning parallel programming
  13. Altmetric Badge
    Chapter 63 Attribute grammars and two-level grammars: A unifying approach
  14. Altmetric Badge
    Chapter 64 Extensions and implementations of abstract data type specifications
  15. Altmetric Badge
    Chapter 65 Concurrency of manipulations in multidimensional information structures
  16. Altmetric Badge
    Chapter 66 Deriving structures from structures
  17. Altmetric Badge
    Chapter 67 Semantics of nondeterminism, concurrency and communication
  18. Altmetric Badge
    Chapter 68 Contribution to the theory of concurrency in databases
  19. Altmetric Badge
    Chapter 69 Facts in place/transition-nets
  20. Altmetric Badge
    Chapter 70 Loop programs and classes of primitive recursive functions
  21. Altmetric Badge
    Chapter 71 Dynamic theories of real and complex numbers
  22. Altmetric Badge
    Chapter 72 Multiplicative complexity of a pair of bilinear forms and of the polynomial multiplication
  23. Altmetric Badge
    Chapter 73 Some applications of algebraic semantics
  24. Altmetric Badge
    Chapter 74 Goal-oriented derivation of logic programs
  25. Altmetric Badge
    Chapter 75 Transforming recursion equations to algorithms
  26. Altmetric Badge
    Chapter 76 Structural invariants for some classes of structured programs
  27. Altmetric Badge
    Chapter 77 Synthesis of concurrent schemes
  28. Altmetric Badge
    Chapter 78 Fast matrix multiplication by boolean RAM in linear storage
  29. Altmetric Badge
    Chapter 79 Cycles of partial orders
  30. Altmetric Badge
    Chapter 80 Complexity measures defined by mazurkiewicz-algorithms
  31. Altmetric Badge
    Chapter 81 On functional grammars
  32. Altmetric Badge
    Chapter 82 Analysis of a universal class of hash functions
  33. Altmetric Badge
    Chapter 83 A framework for producing deterministic canonical bottom-up parsers
  34. Altmetric Badge
    Chapter 84 Cooperating grammar systems
  35. Altmetric Badge
    Chapter 85 Synchronized petri nets : A model for the description of non-autonomous sytems
  36. Altmetric Badge
    Chapter 86 On divergence and halting problems for monadic program schemas
  37. Altmetric Badge
    Chapter 87 Compression of clustered inverted files
  38. Altmetric Badge
    Chapter 88 The completeness of propositional dynamic logic
  39. Altmetric Badge
    Chapter 89 Improving memory utilization in transforming recursive programs
  40. Altmetric Badge
    Chapter 90 On two subclasses of real-time grammars
  41. Altmetric Badge
    Chapter 91 On information storage and retrieval systems an algebraic approach, part 1
  42. Altmetric Badge
    Chapter 92 Probabilistic LCF
  43. Altmetric Badge
    Chapter 93 On algorithmic theory of stacks
  44. Altmetric Badge
    Chapter 94 Analyzing program solutions of coordination problems by cp-nets
  45. Altmetric Badge
    Chapter 95 Structural properties of petri nets
  46. Altmetric Badge
    Chapter 96 Ensuring correctness by arbitrary postfixed-points
  47. Altmetric Badge
    Chapter 97 String-matching in real time: Some properties of the data structure
  48. Altmetric Badge
    Chapter 98 Name independence and database abstraction in the relational model
  49. Altmetric Badge
    Chapter 99 Free Petri net languages
  50. Altmetric Badge
    Chapter 100 Transformations to produce certain covering grammars
  51. Altmetric Badge
    Chapter 101 On the computational power of extended petri nets
  52. Altmetric Badge
    Chapter 102 Theory of relations for databases — a tutorial survey
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
2 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Mathematical Foundations of Computer Science 1978
Published by
Springer, Berlin, Heidelberg, January 1978
DOI 10.1007/3-540-08921-7
ISBNs
978-3-54-008921-6, 978-3-54-035757-5
Editors

J. Winkowski

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 50%
Unknown 1 50%
Readers by discipline Count As %
Computer Science 1 50%
Unknown 1 50%