|
|
eCommons@Cornell >
Browsing by Author Constable, Robert
Showing results 1 to 12 of 12
| 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 |
| 25-Aug-2011 | Generating event logics with higher-order processes as realizers | Bickford, Mark; Constable, Robert; Guaspari, David |
| 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 |
| 7-Oct-2011 | Intuitionistic Completeness of First-Order Logic | Constable, Robert; Bickford, Mark |
| 12-Sep-2011 | Investigating correct-by-construction attack-tolerant systems | Constable, Robert; Bickford, Mark; Van Renesse, Robbert |
| 23-Jan-2012 | The Logic of Events, a framework to reason about distributed systems | Bickford, Mark; Constable, Robert; Rahli, Vincent |
| 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 |
| 16-Jul-2011 | The Triumph of Types: Principia Mathematica's Impact on Computer Science | Constable, Robert |
Showing results 1 to 12 of 12
|
