![]() | ![]() |
1988 | ||
---|---|---|
2 | Rüdiger Schätz: Delete Operations and Horn Formulas. CSL 1988: 329-343 | |
1983 | ||
1 | Anne Brüggemann-Klein, Lutz Priese, Dieter Rödding, Rüdiger Schätz: Modular decomposition of automata. Logic and Machines 1983: 198-236 |
1 | Anne Brüggemann-Klein | [1] |
2 | Lutz Priese | [1] |
3 | Dieter Rödding | [1] |