default search action
Bulletin of the EATCS, Volume 49
Volume 49, February 1993
- Bruno Courcelle:
Graphs and Monadic Second-Order Logic: Some Open Problems. Bull. EATCS 49: 110-124 (1993)
- Juris Hartmanis:
A Broader Research Agenda for Theory. Bull. EATCS 49: 125-129 (1993)
- Alexandru Mateescu:
The Splendour of an Old Ballad: Aad van Wijngaarden Grammars. Bull. EATCS 49: 130-142 (1993)
- Matthias Baaz, Christian G. Fermüller, Richard Zach:
Dual systems of sequents and tableaux for many-valued logics. Bull. EATCS 49: 192-197 (1993) - Erzsébet Csuhaj-Varjú, Gheorghe Paun:
Limiting the team size in cooperating grammar systems. Bull. EATCS 49: 198-201 (1993) - Virgil Domocos:
The generating function of completely bracketed expressions. Bull. EATCS 49: 202-211 (1993) - Rusins Freivalds, Efim B. Kinber, Carl H. Smith:
On the impact of forgetting on learing machines. Bull. EATCS 49: 212-225 (1993) - Hu Xiao-Long:
The representation of a program in the Blum-Shub-Smale theory of computation over an arbitary ring. Bull. EATCS 49: 226-227 (1993) - Arend Rensink:
Order isomorphism odes not preserve global event independence. Bull. EATCS 49: 228-235 (1993)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.