The Nuprl Open Logical Environment
Authors:
- 1 January 2000
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 170-176
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Building reliable, high-performance communication systems from componentsACM SIGOPS Operating Systems Review, 1999
- The Maude System1999
- Maude as a formal meta-tool1999
- Automated Fast-Track Reconfiguration of Group Communication SystemsLecture Notes in Computer Science, 1999
- A proof environment for the development of group communication systems1998
- Hybrid interactive theorem proving using nuprl and HOL1997
- Ωmega: Towards a mathematical assistant1997
- PVS: Combining specification, proof checking, and model checking1996
- Importing mathematics from HOL into NuprlLecture Notes in Computer Science, 1996
- Specware: Formal support for composing software1995