( en | de | ru )

 

Disambiguation of "Nogin, Aleksey"

Author of the publication

copydeleteadd this publication to your clipboard
Markov's Principle for Propositional Type Theory.

, and . CSL, volume 2142 of Lecture Notes in Computer Science, page 570-584. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Aleksey Adonin

Aleksey Min

Aleksey Martyniouk

Aleksey Buzmakov

 

Other publications of authors with the same name

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection., , , and . ICFP, page 172-183. ACM, (2006)Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers., , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 122-141. Springer, (2021)Sequent Schema for Derived Rules., and . TPHOLs, volume 2410 of Lecture Notes in Computer Science, page 281-297. Springer, (2002)MetaPRL - A Modular Logical Environment., , , , , , , , , and 5 other author(s). TPHOLs, volume 2758 of Lecture Notes in Computer Science, page 287-303. Springer, (2003)JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants., , , and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 421-426. Springer, (2001)Assured Point Cloud Perception., , and . ICAA, page 119-128. IEEE, (2023): Designing a Scalable Build Process., and . FASE, volume 3922 of Lecture Notes in Computer Science, page 63-78. Springer, (2006)Writing Constructive Proofs Yielding Efficient Extracted Programs.. Workshop on Type-Theoretic Languages: Proof Search and Semantics, volume 37 of Electronic Notes in Theoretical Computer Science, page 1-17. Elsevier, (2000)Extensible Hierarchical Tactic Construction in a Logical Framework., and . TPHOLs, volume 3223 of Lecture Notes in Computer Science, page 136-151. Springer, (2004)Quotient Types: A Modular Approach.. TPHOLs, volume 2410 of Lecture Notes in Computer Science, page 263-280. Springer, (2002)