Bulletin of the EATCS, Volume 41

Volume 41, June 1990

• Donald Sannella, Andrzej Tarlecki: Algebraic specification and formal methods for program development: what are the real problems? 134-138 BibTeX
• Hartmut Ehrig: ESF-concepts linked with algebraic module specifications. 138-144 BibTeX
• Hartmut Ehrig, Ingo Claßen: Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3). 145-153 BibTeX

• Andre Scedrov: A brief guide to linear logic. 154-165 BibTeX

• Juris Hartmanis, Richard Chang, Desh Ranjan, Pankaj Rohatgi: On Unique Staisfiability and Randomized Reductions. 166-174 BibTeX

• Arto Salomaa: Decidability in finite automata. 175-183 BibTeX

• Marc Roland Assous, Christine Charretton: Noce labelling of event structures. 184-190 BibTeX
• Guiliana Beltrame, Maria Staniszkis: The generalized prefix property. 191-195 BibTeX
• Paddy Byers, David H. Pitt: Conservative extensions: a cautionary note. 196-201 BibTeX
• Giorgio Gambosi, Alberto Postiglione, Maurizio Talamo: On the average performanve of some algorithms for one-line-packing. 202-209 BibTeX
• Goos Kant, Jan van Leeuwen: On special multiples of integers. 210-211 BibTeX
• Jyrki Katajainen, Erkki Mäkinen: A note on the complexity of trie compaction. 212-216 BibTeX
• Emmanuel Kounalis, Michaël Rusinowitch: Mechanizing inductive reasoning. 216-226 BibTeX
• Robin Milner, Faron Moller: Unique decomposition of processes. 226-233 BibTeX
• Nalinakshi Nirmal, Raghavan Rama: A Note on (EOL-EOL) array systems. 233-239 BibTeX