Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin of the EATCS, Volume 44
Volume 44, June 1991
- Hartmut Ehrig, Michael Baldamus, Fernando Orejas:
Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms. Bull. EATCS 44: 129-143 (1991) - Hans-Jörg Kreowski:
Aspects of Systems of Logic Programming. Bull. EATCS 44: 144-146 (1991)
- Kenneth Kunen:
Declarative Semantics of Logic Programming. Bull. EATCS 44: 147-167 (1991)
- Valtteri Niemi:
Density in discrete systems. Bull. EATCS 44: 168-177 (1991)
- Bruno Courcelle:
On Constructing Obstruction Sets of Words. Bull. EATCS 44: 178-186 (1991) - Philippe Darondeau:
Recursive Graphs are not Stable under Maximal Reduction. Bull. EATCS 44: 186-189 (1991) - Oscar H. Ibarra:
On Resetiting DLBA's. Bull. EATCS 44: 190-191 (1991) - David Murphy:
The Physics of Observation a Perspective for Concurrency Theorists. Bull. EATCS 44: 192-201 (1991) - Zdzislaw Pawlak:
Decision Logik. Bull. EATCS 44: 201-225 (1991) - Arto Salomaa, Kai Salomaa, Sheng Yu:
Primary Types of Instances of the Post Correspondence Problem. Bull. EATCS 44: 226-241 (1991)
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-07-04 22:24 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:
