Travelled to:1 × Canada
1 × Croatia
1 × Japan
1 × Spain
1 × Sweden
1 × The Netherlands
1 × United Kingdom
Collaborated with:J.Endrullis D.Hendriks J.Rochel J.W.Klop L.S.Moss V.v.Oostrom
Talks about:calculus (2) sequenc (2) automat (2) infinitari (1) orthogon (1) fractran (1) regular (1) reflect (1) product (1) preserv (1)
Person: Clemens Grabmayer
DBLP: Grabmayer:Clemens
Contributed to:
2015
2014
2013
201320122010
2009Wrote 7 papers:
- LICS-2015-EndrullisGH #encoding
- Regularity Preserving but Not Reflecting Encodings (JE, CG, DH), pp. 535–546.
- ICFP-2014-GrabmayerR #λ-calculus
- Maximal sharing in the λ calculus with letrec (CG, JR), pp. 67–80.
- LATA-2013-EndrullisGH #sequence
- Mix-Automatic Sequences (JE, CG, DH), pp. 262–274.
- RTA-2013-GrabmayerR #λ-calculus #μ-calculus
- Expressibility in the λ Calculus with μ (CG, JR), pp. 206–222.
- LICS-2012-GrabmayerEHKM #automation #sequence
- Automatic Sequences and Zip-Specifications (CG, JE, DH, JWK, LSM), pp. 335–344.
- RTA-2010-EndrullisGHKO #normalisation #orthogonal
- Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting (JE, CG, DH, JWK, VvO), pp. 85–102.
- CADE-2009-EndrullisGH #complexity
- Complexity of Fractran and Productivity (JE, CG, DH), pp. 371–387.