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
• Karel Culik II, Juhani Karhumäki: Decision problems solved with the help of the Ehrenfeucht conjecture. 30-34
• Rusins Freivalds: Recursiveness of the enumerating functions invreases the inferablity of recursively enumberable sets. 35-39
• Juris Hartmanis: Solvable problems with conflicting relativizations. 40-48
• Jean-Pierre Jouannaud, Emmanuel Kounalis: Proofs by induction in equational theories without constructors. 49-55
• Edward Ochmanski: Regular behaviour of concurrent systems. 56-67
• Dominique Perrin: On the solution of Ehrenfeucht's conjecture. 68-70
• Arto Salomaa: The Ehrenfeucht conjecture: a proof for language theorists. 71-82