Gueorgui I. Jojgov

	2005
7		Gueorgui I. Jojgov: Translating a Fragment of Weak Type Theory into Type Theory with Open Terms. MKM 2005: 389-403
	2004
6		Gueorgui I. Jojgov, Rob Nederpelt: A Path to Faithful Formalizations of Mathematics. MKM 2004: 145-159
5		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)
4		Gueorgui I. Jojgov, Herman Geuvers: A Calculus of Tactics and Its Operational Semantics. Electr. Notes Theor. Comput. Sci. 93: 118-137 (2004)
	2003
3		Gueorgui I. Jojgov: Tactics and parameters. Electr. Notes Theor. Comput. Sci. 85(7): (2003)
	2002
2		Herman Geuvers, Gueorgui I. Jojgov: Open Proofs and Open Terms: A Basis for Interactive Logic. CSL 2002: 537-552
1		Gueorgui I. Jojgov: Holes with Binding Power. TYPES 2002: 162-181

Coauthor Index

1	Herman Geuvers	[2] [4]
2	Rob Nederpelt	[5] [6]
3	M. Scheffer	[5]