Cover Image
Read Now

1
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... of ?-automata, Church's problem, and the emptiness problem for tree ?-automata -- Comparing the theory...”
Cover Image
Read Now

2
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Coordination -- UML and Concurrency -- Research Papers -- A Unified Formal Specification and Analysis...”
Cover Image
Read Now

3
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... -- The complexity of subtheories of the existential linear theory of reals -- On test classes for universal theories...”
Cover Image
Read Now

4
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...Monadic second order logic, tree automata and forbidden minors -- On the reduction theory...”
Cover Image
Read Now

5
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...? -- The model theory of concurrency -- From semantics to rules: A machine assisted analysis -- On the reasons...”
Cover Image
Read Now

6
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... -- The semantics of the C programming language -- A theory of classes for a functional language with effects...”
Cover Image
Read Now

7
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z...”
Cover Image
Read Now

8
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...On disjunctive self-reducibility -- The knowledge representation language LLILOG -- Completeness...”