Ulrich Berger

Identifiers

• name variant Ulrich Berger 0.60 · backfill

Papers (3)

1. Extracting total Amb programs from proofs cs.LO · 2023 · author #1
2. Proceedings Third International Workshop on Classical Logic and Computation cs.LO · 2011 · author #3
3. Strong normalisation for applied lambda calculi cs.GT · 2005 · author #1

Mentions

• 1101.5200 #3 · backfill · confidence 0.70 Ulrich Berger

Frequent Coauthors

• Hideki Tsuiki 1 shared papers
• Stefano Berardi 1 shared papers
• Steffen van Bakel 1 shared papers