Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin of the EATCS, Volume 46
Volume 46, February 1992
- Martin Große-Rhode, Hartmut Ehrig:
Restriction Constructions in Specification Logics. Bull. EATCS 46: 84-89 (1992)
- Yuri Gurevich:
Zero-One Laws. Bull. EATCS 46: 90-106 (1992)
- Lane A. Hemachandra, Mitsunori Ogiwara:
Is #P Closed under Substraction? Bull. EATCS 46: 107-123 (1992)
- Lila Kari, Solomon Marcus, Gheorghe Paun, Arto Salomaa:
In the prehistory of formal language theory: Gauss Languages. Bull. EATCS 46: 124-139 (1992)
- Nigel P. Chapman:
On Extended Attribute Grammars. Bull. EATCS 46: 140-145 (1992) - Erkki Mäkinen:
A note on Graftings, Rotations, and Distances in Binary Trees. Bull. EATCS 46: 146-148 (1992) - Christoph Meinel:
Branching Programs - An Efficient Data Structure for Computer-Aided Circuit Design. Bull. EATCS 46: 149-170 (1992) - Gheorghe Paun, Arto Salomaa:
Decision Problems Concerning the Thinness of DOL Languages. Bull. EATCS 46: 171-181 (1992) - Jeffrey O. Shallit, David A. Wilson:
The "3x + 1" Problem and Finite Automata. Bull. EATCS 46: 182-185 (1992) - Friedrich J. Urbanek:
O = square. Bull. EATCS 46: 186-187 (1992) - Paulo A. S. Veloso:
Yet Antother Cautionary Note on Conservative Extensions: a Simple Case with a Computing Flavour. Bull. EATCS 46: 188-192 (1992)
a service of 
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-04-25 05:28 CEST 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:
