Cover Image
Read Now

2
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... State Machines -- Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks...”
Cover Image
Read Now

3
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- How to implement first order formulas in local memory machine models -- A new approach to abstract...”
Cover Image
Read Now

4
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

5
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...A universal Turing machine -- Recursive inseparability in linear logic -- The basic logic of proofs...”
Cover Image
Read Now

6
Published 1989
Springer Berlin Heidelberg
Subjects: “...Machine theory...”
Cover Image
Read Now

7
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... spectra with one variable -- On the early history of register machines -- Randomness, provability...”
Cover Image
Read Now

8
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... by teams from examples with errors -- A survey of rewrite systems -- Interfacing a logic machine...”