Travelled to:1 × Brazil
1 × Spain
1 × Switzerland
Collaborated with:G.Wilken G.Moser ∅
Talks about:hierarchi (1) complex (1) termin (1) system (1) rewrit (1) length (1) formul (1) direct (1) relat (1) prove (1)
Person: Andreas Weiermann
DBLP: Weiermann:Andreas
Contributed to:
2009
2003
1991Wrote 3 papers:
- TLCA-2009-WilkenW #complexity
- Complexity of Gödel’s T in λ-Formulation (GW, AW), pp. 386–400.
- RTA-2003-MoserW
- Relating Derivation Lengths with the Slow-Growing Hierarchy Directly (GM, AW), pp. 296–310.
- CSL-1991-Weiermann #proving #term rewriting #termination
- Proving Termination for Term Rewriting Systems (AW), pp. 419–428.