default search action
Bulletin of the EATCS, Volume 50
Volume 50, June 1993
- Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper:
Algebreic Programming in Opal. Bull. EATCS 50: 171-181 (1993)
- Mogens Nielsen:
Without Title. Bull. EATCS 50: 182-186 (1993)
- Kai Salomaa, Sheng Yu:
Morphisms and rational tranducers. Bull. EATCS 50: 186-193 (1993)
- Arturo Carpi:
Repetitions in the Kolakovski sequence. Bull. EATCS 50: 194-197 (1993) - Virgil Domocos, Florentina Hristea:
A codification of column-convex polyominoes which generates a regular language. Bull. EATCS 50: 197-208 (1993) - Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger:
A scetch of Collage Grammars. Bull. EATCS 50: 209-219 (1993) - Hans Dietmar Gröger, György Turán:
A Liniear lower bound for the size of threshold circuits. Bull. EATCS 50: 220-221 (1993) - Joanna Jedrzejowicz:
Remark on shuffle indentities. Bull. EATCS 50: 222 (1993) - Enno Ohlebusch:
A simple proof of sufficient conditions for the termination of the disjoint union of term rewriting systems. Bull. EATCS 50: 223-228 (1993) - Gheorghe Paun:
remarks concering self reading sequences. Bull. EATCS 50: 229-233 (1993) - Zdzislaw Pawlak:
Anatomy of conflics. Bull. EATCS 50: 234-246 (1993) - Lutz Priese:
Fairness, part II. Bull. EATCS 50: 247-259 (1993) - Andrzej Skowron, Zbigniew Suraj:
A rough set approach to real-time state identification. Bull. EATCS 50: 264-275 (1993) - Friedrich J. Urbanek:
A simple lamda-term representing the predecessor function with respect to church numerials. Bull. EATCS 50: 276-279 (1993)
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.