Searching for authors named "Dieter Hofbauer" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Some Results on Top-context-free Tree Languages
- …Some Results on Top-context-free Tree Languages Dieter Hofbauer 1 ? Maria Huber 2 ?? Gregory…
- Cited by 2 (1 self) – Add To MetaCart
-
Termination proofs for string rewriting systems via inverse match-bounds
- …TERMINATION PROOFS FOR STRING REWRITING SYSTEMS VIA INVERSE MATCH-BOUNDS ∗ Alfons Geser † , Dieter…
- Cited by 4 (2 self) – Add To MetaCart
-
Decomposing terminating rewrite relations
- …Decomposing Terminating Rewrite Relations Jörg Endrullis 1 , Dieter Hofbauer 2 , and Johannes…
- Cited by 1 (0 self) – Add To MetaCart
-
On tree automata that certify termination of left-linear term rewriting systems
- …⋆ , Dieter Hofbauer 2 , Johannes Waldmann 3 , and Hans Zantema 4 1 National Institute of Aerospace, 144…
- Cited by 6 (2 self) – Add To MetaCart
Showing 1 through 4.
