Bulletin of the EATCS
, Volume 44
Volume 44, June 1991
The Algebraic Specification Column
Hartmut Ehrig
,
Michael Baldamus
,
Fernando Orejas
: Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms. 129-143
BibTeX
Hans-Jörg Kreowski
: Aspects of Systems of Logic Programming. 144-146
BibTeX
The Logic in Computer Science Column
Kenneth Kunen
: Declarative Semantics of Logic Programming. 147-167
BibTeX
The Formal Language Theory Column
Valtteri Niemi
: Density in discrete systems. 168-177
BibTeX
Technical Contributions
Bruno Courcelle
: On Constructing Obstruction Sets of Words. 178-186
BibTeX
Philippe Darondeau
: Recursive Graphs are not Stable under Maximal Reduction. 186-189
BibTeX
Oscar H. Ibarra
: On Resetiting DLBA's. 190-191
BibTeX
David Murphy
: The Physics of Observation a Perspective for Concurrency Theorists. 192-201
BibTeX
Zdzislaw Pawlak
: Decision Logik. 201-225
BibTeX
Arto Salomaa
,
Kai Salomaa
,
Sheng Yu
: Primary Types of Instances of the Post Correspondence Problem. 226-241
BibTeX
Copyright ©
Sat May 16 23:57:43 2009 by
Michael Ley
(
ley@uni-trier.de
)
