Bulletin of the EATCS, Volume 51

Volume 51, October 1993

• Julia Padberg: Algebreic high-level net transformation systems: a survey over theory and applications. 102-110 BibTeX

• Ian M. Hodkinson: Finite variable logics. 111-140 BibTeX

• Joseph F. Traub, Henryk Wozniakowski: Recent progress in information-based complexity. 141-154 BibTeX

• Søren Christensen, Hans Hüttel: Decidability issues for infinite-state processes- a survey. 155-167 BibTeX

• Tero Harju, H. C. M. Kleijn: Morphisms and rational tranducers. 168-180 BibTeX
• Lila Kari: Insertion operations: Closure properties. 181-191 BibTeX

• Matthias Baaz, Christian G. Fermüller, Richard Zach: Dual systems of sequents and tableaux for many-valued logics. 192-197 BibTeX
• Erzsébet Csuhaj-Varjú, Gheorghe Paun: Limiting the team size in cooperating grammar systems. 198-201 BibTeX
• Virgil Domocos: The generating function of completely bracketed expressions. 202-211 BibTeX
• Rusins Freivalds, Efim B. Kinber, Carl H. Smith: On the impact of forgetting on learing machines. 212-225 BibTeX
• Hu Xiao-Long: The representation of a program in the Blum-Shub-Smale theory of computation over an arbitary ring. 226-227 BibTeX
• Arend Rensink: Order isomorphism odes not preserve global event independence. 228-235 BibTeX