New
Every arXiv paper, its researchers & institutions — mapped.
◍
wove
paper
Search
Papers
Researchers
Institutions
Sign in
papers
Publications (2)
cs.LO
2007
On the computational complexity of cut-reduction
Klaus Aehlig, Arnold Beckmann
math.LO
2004
Continuous Fraisse Conjecture
Arnold Beckmann, Martin Goldstern, Norbert Preining