The Nuprl Open Logical Environment - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo. The Nuprl Open Logical Environment. In David A. McAllester, editor, Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings. Volume 1831 of Lecture Notes in Computer Science, pages 170-176, Springer, 2000.

This author has not been identified. Look up 'Stuart F. Allen' in GoogleThis author has not been identified. Look up 'Robert L. Constable' in GoogleThis author has not been identified. Look up 'Richard Eaton' in GoogleThis author has not been identified. Look up 'Christoph Kreitz' in GoogleThis author has not been identified. Look up 'Lori Lorigo' in Google

runs on WebDSL