Multivariate Amortized Resource Analysis von HOFFMANN, Jan, AEHLIG, Klaus, HOFMANN, Martin

Volltext

A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata von Aehlig, Klaus

Volltext

The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable von Aehlig, Klaus, de Miranda, Jolie G., Ong, C. -H. Luke

Volltext

A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata von Aehlig, Klaus

Volltext

An arithmetic for non-size-increasing polynomial-time computation von Aehlig, Klaus, Berger, Ulrich, Hofmann, Martin, Schwichtenberg, Helmut

Volltext

Parameter-free polymorphic types von Aehlig, Klaus

Volltext

Relativizing small complexity classes and their theories von Aehlig, Klaus, Cook, Stephen, Nguyen, Phuong

Volltext

On the computational complexity of cut-reduction von Aehlig, Klaus, Beckmann, Arnold

Volltext

A compiled implementation of normalisation by evaluation von AEHLIG, KLAUS, HAFTMANN, FLORIAN, NIPKOW, TOBIAS

Volltext

Induction and inductive definitions in fragments of second order arithmetic von Aehlig, Klaus

Volltext

Resource Aware ML von Hoffmann, Jan, Aehlig, Klaus, Hofmann, Martin

Volltext

An elementary fragment of second-order lambda calculus von Aehlig, Klaus, Johannsen, Jan

Volltext

Operational aspects of untyped Normalisation by Evaluation von AEHLIG, KLAUS, JOACHIMSKI, FELIX

Volltext

A syntactical analysis of non-size-increasing polynomial time computation von Aehlig, Klaus, Schwichtenberg, Helmut

Volltext

Multivariate amortized resource analysis von Hoffmann, Jan, Aehlig, Klaus, Hofmann, Martin

Volltext

On the Computational Complexity of Cut-Reduction von Aehlig, K., Beckmann, A.

Volltext

Continuous normalization for the lambda-calculus and Gödel’s T von Aehlig, Klaus, Joachimski, Felix

Volltext

Propositional Logic for Circuit Classes von Aehlig, Klaus, Beckmann, Arnold

Volltext

A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata von Aehlig, Klaus

Volltext

A Compiled Implementation of Normalization by Evaluation von Aehlig, Klaus, Haftmann, Florian, Nipkow, Tobias

Volltext