Bulletin of the EATCS
, Volume 50
Volume 50, June 1993
The Algebraic Specification Column
Andreas Fett
,
Carola Gerke
,
Wolfgang Grieskamp
,
Peter Pepper
: Algebreic Programming in Opal. 171-181
The Concurrency Column
Mogens Nielsen
: Without Title. 182-186
The Formal Language Theory Column
Kai Salomaa
,
Sheng Yu
: Morphisms and rational tranducers. 186-193
Technical Contributions
Arturo Capri
: Repetitions in the Kolakovski sequence. 194-197
Virgil Domocos
,
Florentina Hristea
: A codification of column-convex polyominoes which generates a regular language. 197-208
Frank Drewes
,
Annegret Habel
,
Hans-Jörg Kreowski
,
S. Traubenberger
: A scetch of Collage Grammars. 209-219
Hans Dietmar Gröger
,
György Turán
: A Liniear lower bound for the size of threshold circuits. 220-221
Joanna Jedrzejowicz
: Remark on shuffle indentities. 222
Enno Ohlebusch
: A simple proof of sufficient conditions for the termination of the disjoint usion of term rewriting systems. 223-228
Gheorghe Paun
: remarks concering self reading sequences. 229-233
Zdzislaw Pawlak
: Anatomy of conflics. 234-246
Lutz Priese
: Fairness, part II. 247-259
Andrzej Skowron
,
Zbigniew Suraj
: A rough set approach to real-time state identification. 264-275
Friedrich J. Urbanek
: A simple lamda-term representing the predecessor function with respect to church numerials. 276-279
Copyright ©
Mon Dec 7 20:15:36 2009 by
Michael Ley
(
ley@uni-trier.de
)