1
Published 1990
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

2
Published 1991
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

3
Published 1986
Springer Berlin Heidelberg
Table of Contents: ... Theory Unification in Prolog: An Extension of the Warren Abstract Machine -- Programmsynthese -- Knuth...