Gueorgui I. Jojgov

Publication Activity (10 Years)

Years Active: 2002-2005
Publications (10 Years): 0

Publications

Gueorgui I. Jojgov
Translating a Fragment of Weak Type Theory into Type Theory with Open Terms. MKM (2005)
Gueorgui I. Jojgov, Rob Nederpelt
A Path to Faithful Formalizations of Mathematics. MKM (2004)
Gueorgui I. Jojgov, Herman Geuvers
A Calculus of Tactics and Its Operational Semantics. Electron. Notes Theor. Comput. Sci. 93 (2004)
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)
Gueorgui I. Jojgov
Tactics and parameters. Electron. Notes Theor. Comput. Sci. 85 (7) (2003)
Gueorgui I. Jojgov
Holes with Binding Power. TYPES (2002)
Herman Geuvers, Gueorgui I. Jojgov
Open Proofs and Open Terms: A Basis for Interactive Logic. CSL (2002)