|
eCommons@Cornell >
Browsing by Author "Bickford, Mark"
Showing results 1 to 6 of 6
| Preview | Issue Date | Title | Author(s) | | 13-Dec-2005 | A Causal Logic of Events in Formalized Computational Type Theory | Bickford, Mark; Constable, Robert L. |
| 16-Jun-2004 | FDL: A Prototype Formal Digital Library | Allen, Stuart; Bickford, Mark; Constable, Robert; Eaton, Richard; Kreitz, Christoph; Lorigo, Lor |
| 9-May-2001 | Formally Verifying Hybrid Protocols with the Nuprl Logical ProgrammingEnvironment | Bickford, Mark; Kreitz, Christoph; van Renesse, Robbert |
| 13-Feb-2004 | Knowledge-Based Sythesis of Distributed Systems Using Event Structures | Bickford, Mark; Constable, Robert C.; Halpern, Joseph Y.; Petride, Sabina |
| 7-Mar-2003 | A Logic of Events | Bickford, Mark; Constable, Robert L. |
| 3-Feb-2003 | A Nuprl-PVS Connection: Integrating Libraries of Formal Mathematics. | Allen, Stuart F.; Bickford, Mark; Constable, Robert; Eaton, Richard; Kreitz, Christoph. |
Showing results 1 to 6 of 6
|
