Pillars of Computer Science

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 From Logic to Theoretical Computer Science – An Update
3. Altmetric Badge
   Chapter 2 Reminiscences
4. Altmetric Badge
   Chapter 3 Boris A. Trakhtenbrot: Academic Genealogy and Publications
5. Altmetric Badge
   Chapter 4 Symmetric Logic of Proofs
6. Altmetric Badge
   Chapter 5 Synthesis of Monitors for Real-Time Analysis of Reactive Systems
7. Altmetric Badge
   Chapter 6 A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
8. Altmetric Badge
   Chapter 7 Effective Finite-Valued Approximations of General Propositional Logics
9. Altmetric Badge
   Chapter 8 Model Transformation Languages and Their Implementation by Bootstrapping Method
10. Altmetric Badge
    Chapter 9 Modal Fixed-Point Logic and Changing Models
11. Altmetric Badge
    Chapter 10 Fields, Meadows and Abstract Data Types
12. Altmetric Badge
    Chapter 11 Why Sets?
13. Altmetric Badge
    Chapter 12 The Church-Turing Thesis over Arbitrary Domains
14. Altmetric Badge
    Chapter 13 Generalized Categorial Dependency Grammars
15. Altmetric Badge
    Chapter 14 Temporal Verification of Probabilistic Multi-Agent Systems
16. Altmetric Badge
    Chapter 15 Linear Recurrence Relations for Graph Polynomials
17. Altmetric Badge
    Chapter 16 Artin’s Conjecture and Size of Finite Probabilistic Automata
18. Altmetric Badge
    Chapter 17 Introducing Reactive Kripke Semantics and Arc Accessibility
19. Altmetric Badge
    Chapter 18 On Partially Wellfounded Generic Ultrapowers
20. Altmetric Badge
    Chapter 19 Some Results on the Expressive Power and Complexity of LSCs
21. Altmetric Badge
    Chapter 20 Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories
22. Altmetric Badge
    Chapter 21 Tree Automata over Infinite Alphabets
23. Altmetric Badge
    Chapter 22 Connectives in Cumulative Logics
24. Altmetric Badge
    Chapter 23 Reasoning in Dynamic Logic about Program Termination
25. Altmetric Badge
    Chapter 24 The Grace of Quadratic Norms: Some Examples
26. Altmetric Badge
    Chapter 25 Nested Petri Nets for Adaptive Process Modeling
27. Altmetric Badge
    Chapter 26 Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
28. Altmetric Badge
    Chapter 27 Token-Free Petri Nets
29. Altmetric Badge
    Chapter 28 Proof Search Tree and Cut Elimination
30. Altmetric Badge
    Chapter 29 Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
31. Altmetric Badge
    Chapter 30 Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge
32. Altmetric Badge
    Chapter 31 Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey
33. Altmetric Badge
    Chapter 32 The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed
34. Altmetric Badge
    Chapter 33 The Reaction Algebra: A Formal Language for Event Correlation
35. Altmetric Badge
    Chapter 34 On Natural Non-dcpo Domains
36. Altmetric Badge
    Chapter 35 Church’s Problem and a Tour through Automata Theory
37. Altmetric Badge
    Chapter 36 From Monadic Logic to PSL