Travelled to:1 × The Netherlands
Collaborated with:∅
Talks about:program (2) extract (2) determinist (1) concurr (1) normal (1) proof (1) non (1)
Person: Ulrich Berger 0001
DBLP: 0001:Ulrich_Berger
Contributed to:
1993
2016Wrote 2 papers:
- TLCA-1993-Berger #normalisation #proving
- Program Extraction from Normalization Proofs (UB0), pp. 91–106.
- CSL-2016-Berger #concurrent #nondeterminism #source code
- Extracting Non-Deterministic Concurrent Programs (UB0), p. 21.