Concepedia

Felix Joachimski

FJ

3

Publications

136

Citations

3

H-Index

2003

Active since

Affiliations

Ludwig-Maximilians-Universität München(Current)

Felix Joachimski is an author at Ludwig-Maximilians-Universität München specializing in automated reasoning, engineering, and formal methods.

Top concepts

Publications per year

2003–2004

3

Publications

3

Short proofs of normalization for the simply- typed λ-calculus, permutative conversions and Gödel's T

Felix Joachimski, Ralph Matthes · Archive for Mathematical Logic · 2003 · 95 citations

, , +9

Operational aspects of untyped Normalisation by Evaluation

Klaus Aehlig, Felix Joachimski · Mathematical Structures in Computer Science · 2004 · 29 citations

, , +14

Confluence of the coinductive λ-calculus

Felix Joachimski · Theoretical Computer Science · 2003 · 12 citations

, , +3

Rows per page

1–3 of 3