Bulletin of the EATCS, Volume 31

Volume 31, February 1987

• R. Boonyavatana, Giora Slutzki: Note: on the sufficiency of Igarashi's conditions for real-time deterministic context-free-languages. 9-11 BibTeX
• Luca Castellano, Giorgio De Michelis, Lucia Pomello: Concurrency versus interleaving: an instructuve example. 12-14 BibTeX
• Bogdan S. Chlebus: A note on the polynomial-time hierarchy and the quantified Boolean formulas. 15-21 BibTeX
• Harald Ganzinger, Robert Giegerich: A note on termination in combinatiosn of heterogeneous term rewriting systems. 22-27 BibTeX
• Steffen Lange: On the construction of unifying terms modulo a set of substitutions. 29-34 BibTeX
• Erkki Mäkinen: Normal forms for pure context-free grammars. 35-37 BibTeX
• Axel Poigné: A remark on variations of power domains. 38-41 BibTeX
• Stefan Sokolowski: How not to sweep infoxes u nder the carpet. 42-46 BibTeX
• Gerard Tel: Efficent leader finding in arbitary networks. 47-49 BibTeX