1
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... -- How to implement first order formulas in local memory machine models -- A new approach to abstract...

2
Published 1993
Springer Berlin Heidelberg
Table of Contents: ...A universal Turing machine -- Recursive inseparability in linear logic -- The basic logic of proofs...

3
Published 1989
Springer Berlin Heidelberg
Subjects: ...Machine theory...

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