MPG.eBooks - Search Results

1

by Börger, Egon
Published 2003

Springer-Verlag Berlin Heidelberg

2

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... State Machines -- Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks...”

3

Published 1993

Springer Berlin Heidelberg

Table of Contents: “...A universal Turing machine -- Recursive inseparability in linear logic -- The basic logic of proofs...”

4

Published 1989

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

5

Published 1988

Springer Berlin Heidelberg

Table of Contents: “... by teams from examples with errors -- A survey of rewrite systems -- Interfacing a logic machine...”