default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin of the EATCS, Volume 40
Volume 40, February 1990
- Hiroshi Imai:
Computation Geometry Research in Japan. Bull. EATCS 40: 164-167 (1990)
- Jacques Loeckx:
The Specification System OBSCURE. Bull. EATCS 40: 168-171 (1990) - Hartmut Ehrig, Ingo Claßen:
Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems. Bull. EATCS 40: 172-181 (1990)
- Eric Allender, Klaus W. Wagner:
Counting Hierarchies: Polynomial Time and Constant. Bull. EATCS 40: 182-194 (1990)
- Jarkko Kari:
Games played on the plane: Solitaire and Cellular Automata. Bull. EATCS 40: 195-200 (1990)
- Roland Carl Backhouse, Grant Malcolm:
On induced congruences. Bull. EATCS 40: 201-206 (1990) - Jan Van den Bussche:
A formal basis for extending SQL to object-oriented databases. Bull. EATCS 40: 207-216 (1990) - Christian Choffrut:
An Optimal Algorithm for building the Boyer-Moore automaton. Bull. EATCS 40: 217-224 (1990) - Michael Formann, Gerhard J. Woeginger:
On the reconstruction of simple polygons. Bull. EATCS 40: 225-230 (1990) - Martin Gogolla:
A note on the translation of SQL tuple calculus. Bull. EATCS 40: 231-235 (1990) - Werner Loch:
On the equivalence problem for DTOL systems. Bull. EATCS 40: 236-246 (1990) - Heiner Marxen, Jürgen Buntrock:
Attacking the Busy Beaver 5. Bull. EATCS 40: 247-251 (1990) - Edward Ochmanski:
Notes on a star mystery. Bull. EATCS 40: 252-256 (1990) - Gheorghe Paun:
Non-centralized parallel communicating grammar systems. Bull. EATCS 40: 257-264 (1990) - Gabriele Ricci:
Most definitions of trees over an alphabet are wrong. Bull. EATCS 40: 265 (1990) - Andrzej Szepietowski:
A week mode of space complexity can be used in the proof that [DSPACE(log log n) = NSPACE(log logn)] => [L = NL]. Bull. EATCS 40: 266-269 (1990) - Paavo Turakainen:
On the finitess of the multiplicable monoid generated by a nonnegative matrix. Bull. EATCS 40: 270-272 (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-10-31 20:04 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:
