Travelled to:1 × Switzerland
Collaborated with:∅
Talks about:procedur (1) program (1) elimin (1) design (1) proof (1) evalu (1) cut (1)
Person: Ulf R. Schmerl
DBLP: Schmerl:Ulf_R=
Contributed to:
1991Wrote 1 papers:
- CSL-1991-Schmerl #proving #source code
- A Cut-Elimination Procedure Designed for Evaluating Proofs as Programs (URS), pp. 316–325.