| 1987 |
|---|
| 11 | | Michael G. Main,
Walter Bucher,
David Haussler:
Applications of an Infinite Square-Free CO-CFL.
Theor. Comput. Sci. 49: 113-119 (1987) |
| 1986 |
|---|
| 10 | | Walter Bucher:
A Regularity Test for Dual Bordered OS Systems.
Acta Inf. 23(3): 245-253 (1986) |
| 1985 |
|---|
| 9 | | Michael G. Main,
Walter Bucher,
David Haussler:
Applications of an Infinite Squarefree CO-CFL.
ICALP 1985: 404-412 |
| 8 | | Walter Bucher,
Andrzej Ehrenfeucht,
David Haussler:
On Total Regulators Generated by Derivation Relations.
ICALP 1985: 71-79 |
| 7 | | Walter Bucher,
Andrzej Ehrenfeucht,
David Haussler:
On Total Regulators Generated by Derivation Relations.
Theor. Comput. Sci. 40: 131-148 (1985) |
| 1984 |
|---|
| 6 | | Walter Bucher,
Karel Culik II:
On Real Time and Linear Time Cellular Automata.
ITA 18(4): 307-325 (1984) |
| 5 | | Walter Bucher,
Hermann A. Maurer,
Karel Culik II:
Context-Free Complexity of Finite Languages.
Theor. Comput. Sci. 28: 277-285 (1984) |
| 1983 |
|---|
| 4 | | Walter Bucher:
Two-Symbol DOS Systems Generating Regular Languages.
Acta Inf. 20: 133-142 (1983) |
| 3 | | Walter Bucher,
Johann Hagauer:
It is Decidable Whether a Regular Language is Pure Context-Free.
Theor. Comput. Sci. 26: 233-241 (1983) |
| 1981 |
|---|
| 2 | | Walter Bucher,
Hermann A. Maurer,
Karel Culik II,
Detlef Wotschke:
Concise Description of Finite Languages.
Theor. Comput. Sci. 14: 227-246 (1981) |
| 1 | | Walter Bucher:
A Note on a Problem in the Theory of Grammatical Complexity.
Theor. Comput. Sci. 14: 337-344 (1981) |
