DMCA

Interactive theorem proving with tasks (2004)

Cached

Download Links

by M. Hübner , S. Autexier , C. Benzmüller , A. Meier
Venue:Electronic Notes in Theoretical Computer Science 103 (2004
Citations:8 - 6 self