M. Scheffer

List of publications from the DBLP Bibliography Server - FAQ

2004

1 EE Gueorgui I. Jojgov, Rob Nederpelt, M. Scheffer: Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories. Electr. Notes Theor. Comput. Sci. 93: 102-117 (2004)

2004
1	EE	Gueorgui I. Jojgov, Rob Nederpelt, M. Scheffer: Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories. Electr. Notes Theor. Comput. Sci. 93: 102-117 (2004)

Coauthor Index