Alexei Kopylov's Papers
www.cs.cornell.edu
Alexei Kopylov, Aleksey Nogin. Markov's Principle for Propositional Type Theory. In L. Fribourg, editor Computer Science Logic, Proceedings of the 10th Annual Conference of the EACSL, volume of Lecture Notes in Computer Science , pages
Mechanized meta-reasoning using a hybrid HOAS/de bruijn ...
authors.library.caltech.edu
Official Citation: Jason Hickey, Aleksey Nogin, Xin Yu, and Alexei Kopylov Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation ...
Theorem Proving in Higher Order Logics: 16th International ...
books.google.nl
Jason J. Hickey, Brian Aydemir, Yegor Bryukhov, Alexei Kopylov, Aleksey Nogin, and Xin Yu. A listing of MetaPRL theories. http://metaprl.org/theories.pdf.
CiteSeerX — Formalizing Abstract Algebra in Type Theory with...
citeseerx.ist.psu.edu
by Xin Yu , Aleksey Nogin , Alexei Kopylov , Jason Hickey Introduction to HOL: A Theorem Proving Environment for Higher-order Logic Constructive mathematics and computer programming
CiteSeerX — Theorem Proving in Higher Order Logics
citeseerx.ist.psu.edu
13 Xin Yu, Aleksey Nogin, Alexei Kopylov and Jason Hickey Implementing and Yegor Bryukhov, Alexei Kopylov, Vladimir Krupski and Aleksey Nogin II ...
DBLP: Vladimir Krupski
ftp.informatik.rwth-aachen.de
Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir
CiteSeerX — Citation Query Aleksey Nogin, Alexei Kopylov, et al....
citeseer.ist.psu.edu
CiteSeerX - Scientific documents that cite the following paper: Aleksey Nogin, Alexei Kopylov, et al. MetaPRL home
CiteSeerX — Markov’s principle for propositional type theory
citeseer.ist.psu.edu
BibTeX @INPROCEEDINGS{Kopylov01markov’sprinciple, author = {Alexei Kopylov and Aleksey Nogin}, title = {Markov’s principle for propositional type theory},
Google Groups: Call for Participation: MERLIN 2005
: ACCEPTED PAPERS Aleksey Nogin, Alexei Kopylov, Xin Yu and Jason Hickey.
All web results to the name "Alexei Kopylov"
Alexei Kopylov and Aleksey Nogin: Markov's principle for...
nogin.org
Alexei Kopylov and Aleksey Nogin. Markov's principle for propositional type theory. In L. Fribourg, editor, Computer Science Logic, Proceedings ...
Jason Hickey, Aleksey Nogin, Xin Yu, and Alexei Kopylov...
nogin.org
Jason Hickey, Aleksey Nogin, Xin Yu, and Alexei Kopylov Mechanized meta-reasoning using a hybrid HOAS/de Bruijn representation and ...
Xin Yu, Aleksey Nogin, Alexei Kopylov, and Jason Hickey
nogin.org
Xin Yu, Aleksey Nogin, Alexei Kopylov, and Jason Hickey. Formalizing Abstract Algebra in Type Theory with Dependent Records. In David ...
Aleksey Nogin's Publications
nogin.org
Aleksey Nogin - Publications [ 2006| 2005| Xin Yu, and Alexei Kopylov Mechanized meta-reasoning using a hybrid HOAS/de Bruijn representation and reflection.
FLoC LFMTP
lfmtp.org
... Aydemir , Aaron Bohannon and Stephanie Weirich · Nominal Reasoning Techniques in Coq. 12:00, Jason Hickey , Aleksey Nogin , Xin Yu and Alexei Kopylov
CiteSeerX — Active Bibliography: Quotient Types: A Modular Approach
citeseer.uark.edu
9, Markov's principle for propositional type theory – Alexei Kopylov, Aleksey Nogin using the “Image” type constructor – Aleksey Nogin, Alexei Kopylov
publlpcs.math.msu.su › ~krupski › publ
lpcs.math.msu.su
Yegor Bryukhov, Alexei Kopylov, Vladimir Krupski, and Aleksey Nogin. Implementing and Automating Basic Number Theory in MetaPRL Proof Assistant.
Yegor Bryukhov, Alexei Kopylov, Vladimir Krupski, and Aleksey Nogin...
nogin.org
Implementing and Automating Basic Number Theory in MetaPRL Proof Assistant. Yegor Bryukhov, Alexei Kopylov, Vladimir Krupski, and Aleksey Nogin.
Jason Hickey, Aleksey Nogin, Xin Yu, and Alexei Kopylov --- Practical...
nogin.org
Practical reflection for sequent logics. Jason Hickey, Aleksey Nogin, Xin Yu, and Alexei Kopylov Practical reflection for sequent logics. In Proceedings of the
Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E....
nogin.org
Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir N ...
Related search requests for Alexei Kopylov
Natalia Kopylova Aleksey Nogin |
People Forename "Alexei" (864) Name "Kopylov" (57) |
sorted by relevance / date