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

by ? Benl , Berger , Schwichtenberg , Seisenberger , Zuber
Citations:27 - 12 self