The following pages link to Dieter Hofbauer (Q199240):
Displaying 31 items.
- On state-alternating context-free grammars (Q557822) (← links)
- Deleting string rewriting systems preserve regularity (Q703575) (← links)
- Termination of \(\{aa\rightarrow bc,bb\rightarrow ac,cc\rightarrow ab\}\) (Q844184) (← links)
- Termination proofs for string rewriting systems via inverse match-bounds (Q851146) (← links)
- On tree automata that certify termination of left-linear term rewriting systems (Q876043) (← links)
- Termination proofs by multiset path orderings imply primitive recursive derivation lengths (Q1200982) (← links)
- Linearizing term rewriting systems using test sets (Q1332338) (← links)
- Test sets for the universal and existential closure of regular tree languages. (Q1400712) (← links)
- An upper bound on the derivational complexity of Knuth-Bendix orderings. (Q1401942) (← links)
- Match-bounded string rewriting systems (Q1762560) (← links)
- (Q2778874) (← links)
- Finding and Certifying Loops (Q3401124) (← links)
- (Q3490953) (← links)
- Termination of String Rewriting with Matrix Interpretations (Q3527305) (← links)
- (Q4023450) (← links)
- (Q4452074) (← links)
- (Q4511317) (← links)
- (Q4693113) (← links)
- (Q4790443) (← links)
- (Q4938607) (← links)
- (Q4954448) (← links)
- Termination proofs and the length of derivations (Q5055719) (← links)
- Time bounded rewrite systems and termination proofs by generalized embedding (Q5055749) (← links)
- (Q5089023) (← links)
- Termination proofs by multiset path orderings imply primitive recursive derivation lengths (Q5096206) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431332) (← links)
- FINDING FINITE AUTOMATA THAT CERTIFY TERMINATION OF STRING REWRITING SYSTEMS (Q5462118) (← links)
- Implementation and Application of Automata (Q5463973) (← links)
- Term Rewriting and Applications (Q5703861) (← links)
- Computing linearizations using test sets (Q5881192) (← links)
- Termination proofs for ground rewrite systems -- interpretations and derivational complexity (Q5941752) (← links)
