Bulletin of the EATCS, Volume 49

Volume 49, February 1993

The Algebraic Specification Column

The Logic in Computer Science Column

Bruno Courcelle: Graphs and Monadic Second-Order Logic: Some Open Problems. 110-124 BibTeX

The Structural Complexity Column

The Formal Language Theory Column

Alexandru Mateescu: The Splendour of an Old Ballad: Aad van Wijngaarden Grammars. 130-142 BibTeX

Technical Contributions

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