Aleksey Nogin - Publications
2002
2001
- Alexei Kopylov and 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 2142 of Lecture
Notes in Computer Science, pages 570-584. Springer-Verlag, 2001.
- Stephan Schmitt, Lori Lorigo, Christoph Kreitz, and Aleksey Nogin.
Jprover: Integrating connection-based theorem
proving into interactive proof assistants.
In International Joint Conference on Automated Reasoning,
volume 2083 of Lecture Notes in Artificial Intelligence, pages
421-426. Springer-Verlag, 2001.
2000
- Jason J. Hickey and Aleksey Nogin.
Fast tactic-based theorem proving.
In J. Harrison and M. Aagaard, editors, Theorem Proving in
Higher Order Logics: 13th International Conference, TPHOLs 2000, volume 1869
of Lecture Notes in Computer Science, pages 252-266. Springer-Verlag, 2000.
- Aleksey Nogin.
Writing constructive proofs yielding efficient
extracted programs.
In Didier Galmiche, editor, Proceedings of the Workshop on
Type-Theoretic Languages: Proof Search and Semantics, volume 37 of
Electronic Notes in Theoretical Computer Science. Elsevier
Science Publishers, 2000
1997
1995
- Aleksey Nogin.
On Horn interpolation in linear logic.
Mathematical Logic and Theoretical Computer Science Prepublication
Series 1995-11, Steklov Mathematical Institute, April 1995.
In Russian.
Back to the Home Page
Last update: Friday, May 24, 2002 by Aleksey Nogin (e-mail: Nogin@CS.Cornell.EDU)