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

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

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

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

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

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

Last update Sat May 26 06:12:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page