1
by Bauer, Friedrich L., Wirsing, Martin
Published 1991
Springer Berlin Heidelberg
Subjects: ...Mathematical Logic and Formal Languages...

2
Published 1988
Springer Berlin Heidelberg
Table of Contents: ... auxiliary pushdown automata -- Hotz-isomorphism theorems in formal language theory -- First-order properties...

3
Published 1996
Springer Berlin Heidelberg
Table of Contents: ...Using occurrrence and evolving algebras for the specification of language-based programming tools...

4
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... of context-free languages -- On the k-freeness of morphisms on free monoids -- Avoidable patterns on 2...

5
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Languages -- Web Interface Engineering -- Security, Safety, and Reliability -- Web Mining, User Models...