default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin of the EATCS, Volume 48
Volume 48, October 1992
- Joseph A. Goguen, Razvan Diaconescu:
A short Oxford survey of order sorted algebra.. Bull. EATCS 48: 121-133 (1992)
- Kevin J. Compton, Howard Straubing:
Characterizations of regular languages in low level complexity classes. Bull. EATCS 48: 134-142 (1992)
- Gheorghe Paun:
VALENCES: Increasing the power of grammars, tranducers grammar systems. Bull. EATCS 48: 143-156 (1992)
- Matthias Baaz, Richard Zach:
Note on calculi for a three-valued logic for logic programming.. Bull. EATCS 48: 157-164 (1992) - Julien Cassaigne, Sylviane R. Schwer, Patrice Séébold:
About Gauss codes. Bull. EATCS 48: 165-171 (1992) - Manfred Droste, R. M. Shortt:
Bounded Petri nets of finite dimension have only finitely many reachable markings. Bull. EATCS 48: 172-174 (1992) - Leonid Libkin:
An elementary proof that upper and lower powerdomain constructions commute. Bull. EATCS 48: 175-177 (1992) - Zdzislaw Pawlak:
Concurrent versus sequential - the rough sets perspective. Bull. EATCS 48: 178-190 (1992) - Magnus Steinby:
On generalizations of the Nerode and Myhill theorems. Bull. EATCS 48: 191-196 (1992) - Sándor Vágvölgyi, Rémi Gilleron:
For a rewrite system it is decidable whether the set of irreducible, ground terms is regognizable. Bull. EATCS 48: 197-209 (1992)
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-21 20: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:
