BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Grabmayer:Clemens

Contributed to:

LICS 20152015
ICFP 20142014
LATA 20132013
RTA 20132013
LICS 20122012
RTA 20102010
CADE 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.