Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2008, 2008
|
| Edition: | 1st ed. 2008 |
| Series: | Theoretical Computer Science and General Issues
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- From Logic to Theoretical Computer Science – An Update
- Reminiscences
- Boris A. Trakhtenbrot: Academic Genealogy and Publications
- Symmetric Logic of Proofs
- Synthesis of Monitors for Real-Time Analysis of Reactive Systems
- A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
- Effective Finite-Valued Approximations of General Propositional Logics
- Model Transformation Languages and Their Implementation by Bootstrapping Method
- Modal Fixed-Point Logic and Changing Models
- Fields, Meadows and Abstract Data Types
- Why Sets?
- The Church-Turing Thesis over Arbitrary Domains
- Generalized Categorial Dependency Grammars
- Temporal Verification of Probabilistic Multi-Agent Systems
- Linear Recurrence Relations for Graph Polynomials
- Artin’s Conjecture and Size of Finite Probabilistic Automata
- Introducing Reactive Kripke Semantics and Arc Accessibility
- On Partially Wellfounded Generic Ultrapowers
- Some Results on the Expressive Power and Complexity of LSCs
- Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories
- Tree Automata over Infinite Alphabets
- Connectives in Cumulative Logics
- Reasoning in Dynamic Logic about Program Termination
- The Grace of Quadratic Norms: Some Examples
- Nested Petri Nets for Adaptive Process Modeling
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
- Token-Free Petri Nets
- Proof Search Tree and Cut Elimination
- Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
- Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge
- Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey
- The Scholten/DijkstraPebble Game Played Straightly, Distributedly, Online and Reversed
- The Reaction Algebra: A Formal Language for Event Correlation
- On Natural Non-dcpo Domains
- Church’s Problem and a Tour through Automata Theory
- From Monadic Logic to PSL.