Travelled to:
1 × Canada
1 × France
1 × Germany
1 × Hungary
1 × Japan
1 × The Netherlands
2 × Italy
2 × USA
Collaborated with:
J.Waldmann ∅ A.Geser H.Zantema M.Huber C.Lautemann R.Kutsche
Talks about:
termin (8) rewrit (7) system (5) string (4) proof (4) automata (3) certifi (3) that (3) interpret (2) regular (2)
Person: Dieter Hofbauer
DBLP: Hofbauer:Dieter
Contributed to:
Wrote 11 papers:
- RTA-2006-HofbauerW #matrix #string #termination
- Termination of String Rewriting with Matrix Interpretations (DH, JW), pp. 328–342.
- RTA-2005-GeserHWZ #automaton #linear #on the #term rewriting #termination
- On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems (AG, DH, JW, HZ), pp. 353–367.
- CIAA-2004-GeserHWZ #automaton #finite #string #termination
- Finding Finite Automata That Certify Termination of String Rewriting (AG, DH, JW, HZ), pp. 134–145.
- CIAA-J-2004-GeserHWZ05 #automaton #finite #string #term rewriting #termination
- Finding finite automata that certify termination of string rewriting systems (AG, DH, JW, HZ), pp. 471–486.
- DLT-2003-HofbauerW #string #term rewriting
- Deleting String Rewriting Systems Preserve Regularity (DH, JW), pp. 337–348.
- RTA-2001-Hofbauer #proving #termination
- Termination Proofs by Context-Dependent Interpretations (DH), pp. 108–121.
- RTA-1999-HofbauerH #testing
- Test Sets for the Universal and Existential Closure of Regular Tree Languages (DH, MH), pp. 205–219.
- RTA-1991-Hofbauer #bound #proving #term rewriting #termination
- Time Bounded Rewrite Systems and Termination Proofs by Generalized Embedding (DH), pp. 62–73.
- ALP-1990-Hofbauer #multi #order #proving #recursion #termination
- Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths (DH), pp. 347–358.
- RTA-1989-HofbauerL #proving #termination
- Termination Proofs and the Length of Derivations (DH, CL), pp. 167–177.
- ALP-1988-HofbauerK #induction #proving #term rewriting #theorem
- Proving Inductive Theorems Based on Term Rewriting Systems (DH, RDK), pp. 180–190.