Publications (3)
On higher order homological finiteness of rewriting systems (2003)
Pride, S.; Otto, F.
Authored bookOn Left-monotone Restarting Automata (2003)
Otto, F.; Jurdzinski, T.
Authored bookOn State-Alternating Context-free Grammars - With Detailed Proofs and Supplementary Results - (2003)
Moriya, E.; Hofbauer, D.; Huber, M.; Otto, F.
Authored book