Arnold Beckmann
Identifiers
- name variant Arnold Beckmann 0.60 · backfill
Papers (2)
- On the computational complexity of cut-reduction cs.LO · 2007 · author #2
- Continuous Fraisse Conjecture math.LO · 2004 · author #1
Mentions
- 0712.1499 #2 · backfill · confidence 0.70 Arnold Beckmann
Frequent Coauthors
- Klaus Aehlig 1 shared papers
- Martin Goldstern 1 shared papers
- Norbert Preining 1 shared papers