You have Guest access.
Log In
Arnon Avron, Nachum Dershowitz and Alexander Rabinovich
Front matter
1-38
From Logic to Theoretical Computer Science – An Update
39-45
Reminiscences
46-57
Boris A. Trakhtenbrot: Academic Genealogy and Publications
58-71
Symmetric Logic of Proofs
72-86
Synthesis of Monitors for Real-Time Analysis of Reactive Systems
87-106
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
107-129
Effective Finite-Valued Approximations of General Propositional Logics
130-145
Model Transformation Languages and Their Implementation by Bootstrapping Method
146-165
Modal Fixed-Point Logic and Changing Models
166-178
Fields, Meadows and Abstract Data Types
179-198
Why Sets?
199-229
The Church-Turing Thesis over Arbitrary Domains
230-255
Generalized Categorial Dependency Grammars
256-265
Temporal Verification of Probabilistic Multi-Agent Systems
266-279
Linear Recurrence Relations for Graph Polynomials
280-291
Artin’s Conjecture and Size of Finite Probabilistic Automata
292-341
Introducing Reactive Kripke Semantics and Arc Accessibility
342-350
On Partially Wellfounded Generic Ultrapowers
351-366
Some Results on the Expressive Power and Complexity of LSCs
367-385
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories
386-423
Tree Automata over Infinite Alphabets
424-440
Connectives in Cumulative Logics
441-456
Reasoning in Dynamic Logic about Program Termination
457-459
The Grace of Quadratic Norms: Some Examples
460-474
Nested Petri Nets for Adaptive Process Modeling
475-505
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
506-520
Token-Free Petri Nets
521-536
Proof Search Tree and Cut Elimination
537-554
Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
555-570
Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge
571-588
Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey
589-595
The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed
596-619
The Reaction Algebra: A Formal Language for Event Correlation
620-634
On Natural Non-dcpo Domains
635-655
Church’s Problem and a Tour through Automata Theory
656-681
From Monadic Logic to PSL
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info