Klaus Aehlig

Identifiers

• name variant Klaus Aehlig 0.60 · backfill

Papers (6)

1. Relativizing Small Complexity Classes and their Theories cs.CC · 2012 · author #1
2. Casimir Forces via Worldline Numerics: Method Improvements and Potential Engineering Applications hep-th · 2011 · author #1
3. On the computational complexity of cut-reduction cs.LO · 2007 · author #1
4. A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of<br> Automata cs.LO · 2007 · author #1
5. An Elementary Fragment of Second-Order Lambda Calculus cs.LO · 2002 · author #1
6. A syntactical analysis of non-size-increasing polynomial time computation cs.LO · 2000 · author #1

Mentions

• 1204.5508 #1 · backfill · confidence 0.70 Klaus Aehlig
• 1110.5936 #1 · backfill · confidence 0.70 Klaus Aehlig
• 0712.1499 #1 · backfill · confidence 0.70 Klaus Aehlig
• 0706.2076 #1 · backfill · confidence 0.70 Klaus Aehlig

Frequent Coauthors

• Arnold Beckmann 1 shared papers
• Helge Dietert 1 shared papers
• Helmut Schwichtenberg 1 shared papers
• Jan Johannsen 1 shared papers
• Jochen Gerhard 1 shared papers
• Phuong Nguyen 1 shared papers
• Stephen Cook 1 shared papers
• Thomas Fischbacher 1 shared papers