default search action
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? Bull. EATCS 41: 134-138 (1990) - Hartmut Ehrig:
ESF-concepts linked with algebraic module specifications. Bull. EATCS 41: 138-144 (1990) - Hartmut Ehrig, Ingo Claßen:
Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3). Bull. EATCS 41: 145-153 (1990)
- Andre Scedrov:
A brief guide to linear logic. Bull. EATCS 41: 154-165 (1990)
- Juris Hartmanis, Richard Chang, Desh Ranjan, Pankaj Rohatgi:
On Unique Staisfiability and Randomized Reductions. Bull. EATCS 41: 166-174 (1990)
- Arto Salomaa:
Decidability in finite automata. Bull. EATCS 41: 175-183 (1990)
- Marc Roland Assous, Christine Charretton:
Noce labelling of event structures. Bull. EATCS 41: 184-190 (1990) - Guiliana Beltrame, Maria Staniszkis:
The generalized prefix property. Bull. EATCS 41: 191-195 (1990) - Paddy Byers, David H. Pitt:
Conservative extensions: a cautionary note. Bull. EATCS 41: 196-201 (1990) - Giorgio Gambosi, Alberto Postiglione, Maurizio Talamo:
On the average performanve of some algorithms for one-line-packing. Bull. EATCS 41: 202-209 (1990) - Goos Kant, Jan van Leeuwen:
On special multiples of integers. Bull. EATCS 41: 210-211 (1990) - Jyrki Katajainen, Erkki Mäkinen:
A note on the complexity of trie compaction. Bull. EATCS 41: 212-216 (1990) - Emmanuel Kounalis, Michaël Rusinowitch:
Mechanizing inductive reasoning. Bull. EATCS 41: 216-226 (1990) - Robin Milner, Faron Moller:
Unique decomposition of processes. Bull. EATCS 41: 226-233 (1990) - Nalinakshi Nirmal, Raghavan Rama:
A Note on (EOL-EOL) array systems. Bull. EATCS 41: 233-239 (1990)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: