Publications
- Yegor Bryukhov.
Integration of Decision
Procedures into High-Order Interactive Provers.
PhD Thesis. The Graduate
Center of the City University of New York, 2006.
- Yegor Bryukhov.
Automatic
Proof Search in Logic of Justified Common Knowledge.
Accepted to the 4th
Methods for Modalities Workshop (M4M'05).
- Natalia Novak and Yegor Bryukhov.
Implementing the Calculus
of
Inductive Constructions in the MetaPRL framework.
In Konrad
Slind, editor, 17th International Conference on Theorem Proving in
Higher Order Logics (TPHOLs 2004). Emerging Trends Proceedings, pages
153-164. University of Utah, 2004.
- Yegor Bryukhov, Alexei Kopylov, Vladimir Krupski, and
Aleksey Nogin.
Implementing
and Automating Basic Number Theory in MetaPRL Proof Assistant.
In David Basin and
Burkhart Wolff, editors, 16th International
Conference on theorem Proving in Higher Order Logics (TPHOLs 2003).
Emerging Trends Proceedings, pages 29-39. Universität
Freiburg, 2003.
- Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E.
Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz,
Alexei Kopylov, Christoph Kreitz, Vladimir N. Krupski, Lori Lorigo,
Stephan Schmitt, Carl Witty, and Xin Yu.
MetaPRL
-- A Modular Logical Environment.
In David Basin and
Burkhart
Wolff, editors, Proceedings of the 16th International Conference on
Theorem Proving in Higher Order Logics (TPHOLs 2003), volume 2758 of
Lecture Notes in Computer Science, pages 287-303. Springer-Verlag, 2003.
Online Publications