Proof Theory At Work: Program Development In The Minlog System (1998)

by ? Benl , Berger , Schwichtenberg , Seisenberger , Zuber
Citations:25 - 11 self