Gueorgui I. Jojgov

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)