MetaPRL–a modular logical environment J Hickey, A Nogin, RL Constable, BE Aydemir, E Barzilay, Y Bryukhov, ... Theorem Proving in Higher Order Logics: 16th International Conference …, 2003 | 66 | 2003 |
Xin Yu. A listing of MetaPRL theories JJ Hickey, B Aydemir, Y Bryukhov, A Kopylov, A Nogin | 17 | 2002 |
Integration of decision procedures into high-order interactive provers Y Bryukhov City University of New York, 2006 | 11 | 2006 |
Xin Yu J Hickey, A Nogin, RL Constable, BE Aydemir, E Barzilay, Y Bryukhov, ... MetaPRL—A modular logical environment. Accepted to the TPHOLs 2003 Conference, 2003 | 10 | 2003 |
Some cryptoprimitives in noncommutative algebraic crytography G Baumslag, Y Bryukhov, B Fine, G Rosenberger Aspects of infinite groups, 26-44, 2008 | 6 | 2008 |
Automatic proof search in logic of justified common knowledge Y Bryukhov Proceedings of Methods for Modalities Workshop, 2005 | 5 | 2005 |
A listing of MetaPRL theories JJ Hickey, B Aydemir, Y Bryukhov, A Kopylov, A Nogin, X Yu URL http://metaprl. org/theories. pdf, 0 | 5 | |
Challenge response password security using combinatorial group theory G Baumslag, Y Bryukhov, B Fine, D Troeger Walter de Gruyter GmbH & Co. KG 2 (1), 67-81, 2010 | 4 | 2010 |
Discipline oriented contextual learning software system G Baumslag, B Fine, CF Miller, Y Bryukhov US Patent App. 11/487,154, 2008 | 2 | 2008 |
Implementing the calculus of inductive constructions in the MetaPRL framework N Novak, Y Bryukliov Emerging Trends, 1, 2004 | 2 | 2004 |
Implementing and automating basic number theory in MetaPRL proof assistant Y Bryukhov, A Kopylov, V Krupski, A Nogin 16th International Conference on Theorem Proving in Higher Order Logics …, 0 | 2 | |
TR-2004004: Implementing and Automating Basic Number Theory in MetaPRL Proof Assistant Y Bryukhov, A Kopylov, V Krupski, A Nogin | | 2004 |