MPG.eBooks - Search Results - "machine"

Cover Image

1

Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

by Börger, Egon
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

2

CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings

Published 1989

Springer Berlin Heidelberg

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

Cover Image

3

CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings

Published 1988

Springer Berlin Heidelberg

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