Bulletin of the EATCS, Volume 46

Volume 46, February 1992

The Algebraic Specification Column

Martin Große-Rhode, Hartmut Ehrig: Restriction Constructions in Specification Logics. 84-89 BibTeX

The Logic in Computer Science Column

The Structural Complexity Column

Lane A. Hemachandra, Mitsunori Ogiwara: Is #P Closed under Substraction? 107-123 BibTeX

The Formal Language Theory Column

Lila Kari, Solomon Marcus, Gheorghe Paun, Arto Salomaa: In the prehistory of formal language theory: Gauss Languages. 124-139 BibTeX

Technical Contributions

Nigel P. Chapman: On Extended Attribute Grammars. 140-145 BibTeX
Erkki Mäkinen: A note on Graftings, Rotations, and Distances in Binary Trees. 146-148 BibTeX
Christoph Meinel: Branching Programs - An Efficient Data Structure for Computer-Aided Circuit Design. 149-170 BibTeX
Gheorghe Paun, Arto Salomaa: Decision Problems Concerning the Thinness of DOL Languages. 171-181 BibTeX
Jeffrey Shallit, David Wilson: The "3x + 1" Problem and Finite Automata. 182-185 BibTeX
Friedrich J. Urbanek: O = square. 186-187 BibTeX
Paulo A. S. Veloso: Yet Antother Cautionary Note on Conservative Extensions: a Simple Case with a Computing Flavour. 188-192 BibTeX