Detail

Publication date: 01/01/2008

Towards Reverse Proofs-as-Programs

Authors

Arnold Beckmann, Reinhard Kahle, Costas Dimitracopoulos,

Publisher University of Athens
Publisher University of Athens