|
eCommons@Cornell >
Browsing by Author Kreitz, Christoph
Showing results 1 to 7 of 7
| Preview | Issue Date | Title | Author(s) | | Sep-1986 | Constructive Automata Theory Implemented with the Nuprl Proof Development System | Kreitz, Christoph |
| Apr-1998 | Dead Code Elimination Through Type Inference | Hafizogullari, Ozan; Kreitz, Christoph |
| 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 |
| Jul-1997 | Formal Reasoning about Communication Systems I: Embedding ML into TypeTheory. | Kreitz, Christoph |
| Sep-1998 | Formal Reasoning about Communication Systems II: Automated Fast-TrackReconfiguration | Kreitz, Christoph |
| 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 |
Showing results 1 to 7 of 7
|
