|
|
eCommons@Cornell >
Browsing by Author "Constable, Robert"
Showing results 1 to 7 of 7
| Preview | Issue Date | Title | Author(s) | | 26-Mar-2004 | Expressing and Implementing the Computational Content Implicit in
Smullyan's Account of Boolean Valuations | Allen, Stuart; Constable, Robert; Fluet, Matthew |
| 12-Dec-2006 | Extracting the Resolution Algorithm from a Completeness Proof for the
Propositional Calculus | Constable, Robert; Moczydlowski, Wojciech |
| 16-Jun-2004 | FDL: A Prototype Formal Digital Library | Allen, Stuart; Bickford, Mark; Constable, Robert; Eaton, Richard; Kreitz, Christoph; Lorigo, Lor |
| 30-Jan-2006 | A Graph-Based Approach towards Discerning Inherent Structures in a
Digital Library of Formal Mathematics | Lorigo, Lori; Kleinberg, Jon; Eaton, Richard; Constable, Robert |
| Oct-1999 | The Horus and Ensemble Projects: Accomplishments and Limitations | Birman, Kenneth P.; Constable, Robert; Hayden, Mark; Hickey, Jason; Kreitz, Christoph; Van Renesse, Robbert; Rodeh, Ohad; Vogels, Werner |
| 3-Feb-2003 | A Nuprl-PVS Connection: Integrating Libraries of Formal Mathematics. | Allen, Stuart F.; Bickford, Mark; Constable, Robert; Eaton, Richard; Kreitz, Christoph. |
| 8-Feb-2005 | Transforming the Academy: Knowledge Formation in the Age of Digital
Information | Constable, Robert |
Showing results 1 to 7 of 7
|
