Bulletin of the EATCS, Volume 27

Volume 27, October 1985

• Michal P. Chytil, Martin Plátek, Jörg Vogel: A note on the Chomsky hierarchy. 23-29 BibTeX
• Karel Culik II, Juhani Karhumäki: Decision problems solved with the help of the Ehrenfeucht conjecture. 30-34 BibTeX
• Rusins Freivalds: Recursiveness of the enumerating functions invreases the inferablity of recursively enumberable sets. 35-39 BibTeX
• Juris Hartmanis: Solvable problems with conflicting relativizations. 40-48 BibTeX
• Jean-Pierre Jouannaud, Emmanuel Kounalis: Proofs by induction in equational theories without constructors. 49-55 BibTeX
• Edward Ochmanski: Regular behaviour of concurrent systems. 56-67 BibTeX
• Dominique Perrin: On the solution of Ehrenfeucht's conjecture. 68-70 BibTeX
• Arto Salomaa: The Ehrenfeucht conjecture: a proof for language theorists. 71-82 BibTeX