Clemens Grabmayer

Identifiers

• name variant Clemens Grabmayer 0.60 · backfill

Papers (11)

1. The Degree of Squares is an Atom (Extended Version) cs.FL · 2015 · author #2
2. Regularity Preserving but not Reflecting Encodings cs.FL · 2015 · author #2
3. Maximal Sharing in the Lambda Calculus with letrec cs.PL · 2014 · author #1
4. Term Graph Representations for Cyclic Lambda-Terms cs.LO · 2013 · author #1
5. Expressibility in the Lambda Calculus with mu cs.PL · 2013 · author #1
6. Expressibility in the Lambda Calculus with Letrec cs.PL · 2012 · author #1
7. Automatic Sequences and Zip-Specifications cs.LO · 2012 · author #1
8. From Abstract Rewriting Systems to Abstract Proof Systems cs.LO · 2009 · author #1
9. Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting cs.LO · 2009 · author #2
10. Complexity of Fractran and Productivity cs.LO · 2009 · author #2
11. Data-Oblivious Stream Productivity cs.LO · 2008 · author #2

Mentions

• 1506.00884 #2 · backfill · confidence 0.70 Clemens Grabmayer
• 1501.04835 #2 · backfill · confidence 0.70 Clemens Grabmayer
• 1401.1460 #1 · backfill · confidence 0.70 Clemens Grabmayer
• 1308.1034 #1 · backfill · confidence 0.70 Clemens Grabmayer
• 1304.6284 #1 · backfill · confidence 0.70 Clemens Grabmayer
• 1208.2383 #1 · backfill · confidence 0.70 Clemens Grabmayer
• 1201.3251 #1 · backfill · confidence 0.70 Clemens Grabmayer
• 0911.1412 #1 · backfill · confidence 0.70 Clemens Grabmayer
• 0911.1009 #2 · backfill · confidence 0.70 Clemens Grabmayer
• 0903.4366 #2 · backfill · confidence 0.70 Clemens Grabmayer
• 0806.2680 #2 · backfill · confidence 0.70 Clemens Grabmayer

Frequent Coauthors

• Dimitri Hendriks 6 shared papers
• Jan Rochel 4 shared papers
• Joerg Endrullis 4 shared papers
• Jan Willem Klop 2 shared papers
• J\"org Endrullis 2 shared papers
• Hans Zantema 1 shared papers
• Lawrence S. Moss 1 shared papers