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