Volume 41,
June 1990
The Algebraic Specification Column
- Donald Sannella, Andrzej Tarlecki:
Algebraic specification and formal methods for program development: what are the real problems?
134-138
- Hartmut Ehrig:
ESF-concepts linked with algebraic module specifications.
138-144
- Hartmut Ehrig, Ingo Claßen:
Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3).
145-153
The Logic in Computer Science Column
The Structural Complexity Column
The Formal Language Theory Column
Technical Contributions
- Marc Roland Assous, Christine Charretton:
Noce labelling of event structures.
184-190
- Guiliana Beltrame, Maria Staniszkis:
The generalized prefix property.
191-195
- Paddy Byers, David H. Pitt:
Conservative extensions: a cautionary note.
196-201
- Giorgio Gambosi, Alberto Postiglione, Maurizio Talamo:
On the average performanve of some algorithms for one-line-packing.
202-209
- Goos Kant, Jan van Leeuwen:
On special multiples of integers.
210-211
- Jyrki Katajainen, Erkki Mäkinen:
A note on the complexity of trie compaction.
212-216
- Emmanuel Kounalis, Michaël Rusinowitch:
Mechanizing inductive reasoning.
216-226
- Robin Milner, Faron Moller:
Unique decomposition of processes.
226-233
- Nalinakshi Nirmal, Raghavan Rama:
A Note on (EOL-EOL) array systems.
233-239
Copyright © Sat Nov 14 05:52:29 2009
by Michael Ley (ley@uni-trier.de)
