Bulletin of the EATCS, Volume 24

Volume 24, October 1984

• Jean-Michel Autebert, Luc Boasson, Joaquim Gabarró: Context-free grammars in Greibach normal forms. 44-47 BibTeX
• Tudor Balanescu: A proof rule for the "it it" generalized control structure. 48-52 BibTeX
• Stephen L. Bloom, Zoltán Ésik: Some varieties of iteration theories. 53-65 BibTeX
• Max Chochemore: Linear searching for a square in a word. 66-72 BibTeX
• Juris Hartmanis: On non-isomorphic NP complete sets. 73-77 BibTeX
• Armin Hemmerling: A searching algorithm for finite embedded D-graphs with no more than k regions. 78-84 BibTeX
• Colm Ó'Dúnlaing, Chee-Keng Yap: Counting digraphs and hypergraphs. 85-87 BibTeX
• Peter Padawitz, Martin Wirsing: Completeness of many-sorted equational logic revisited. 88-93 BibTeX
• Zdzislaw Pawlak: On rough sets. 94-108 BibTeX
• Bernhard Thalheim: A compelte axiomatization for full join dependencies in relations. 109-114 BibTeX