Theoretical Computer Science, Volume 25

Volume 25, 1983

• A. J. Kfoury: Definability by Programs in First-Order Structures. 1-66 BibTeX
• Evelyn Nelson: Iterative Algebras. 67-94 BibTeX
• Bruno Courcelle: Fundamental Properties of Infinite Trees. 95-169 BibTeX
• Colm Ó'Dúnlaing: Infinite Regular Thue Systems. 171-192 BibTeX
• John Case, Carl Smith: Comparison of Identification Criteria for Machine Inductive Inference. 193-220 BibTeX
• Lutz Priese: Automata and Concurrency. 221-265 BibTeX
• Robin Milner: Calculi for Synchrony and Asynchrony. 267-310 BibTeX
• Rüdiger Valk: Infinite Behaviour of Petri Nets. 311-341 BibTeX