M. Scheffer

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Gueorgui I. Jojgov, Rob Nederpelt, M. Scheffer
Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories. Electron. Notes Theor. Comput. Sci. 93 (2004)