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