Reading Length
Home
Speed Tests
Login
Patrick Lincoln
Identifiers
Open Library
OL451877A
Top Subjects
Algorithms (1)
Computer algorithms (1)
Fault-tolerant computing (1)
Fault tolerance (1)
Proof theory (1)
Logic, Symbolic and mathematical -- Data processing (1)
Computer science (1)
Books by Patrick Lincoln
Total count: 4
A formally verified alrgothim for interactive consistency under a hybrid fault model
National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program
1993-01-01
A formally verified algorithm for interactive consistency under a hybrid fault model
Langley Research Center
1993-01-01
Computational aspects of linear logic
MIT Press
1995-01-01
All about Maude - a High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic
Springer London, Limited
2007-01-01
