Gueorgui I. Jojgov

According to our database, Gueorgui I. Jojgov authored at least 7 papers between 2002 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Translating a Fragment of Weak Type Theory into Type Theory with Open Terms.

Gueorgui I. Jojgov

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

2004

A Path to Faithful Formalizations of Mathematics.

Gueorgui I. Jojgov, Rob Nederpelt

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

2003

Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories.

Gueorgui I. Jojgov, Rob Nederpelt, M. Scheffer

Proceedings of the Mathematical Knowledge Management Symposium, 2003

A Calculus of Tactics and Its Operational Semantics.

Gueorgui I. Jojgov, Herman Geuvers

Proceedings of the Mathematical Knowledge Management Symposium, 2003

Tactics and parameters.

Gueorgui I. Jojgov

Proceedings of the Mathematics, 2003

2002

Holes with Binding Power.

Gueorgui I. Jojgov

Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

Open Proofs and Open Terms: A Basis for Interactive Logic.

Herman Geuvers, Gueorgui I. Jojgov

Proceedings of the Computer Science Logic, 16th International Workshop, 2002