Home
About us
Stories
Catalog
Media
Home
Catalog
Authors
Patrick Lincoln
Patrick Lincoln
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
4
A formally verified alrgothim for interactive consistency under a hybrid fault model
A formally verified algorithm for interactive consistency under a hybrid fault model
Computational aspects of linear logic
All About Maude - A High-Performance Logical Framework
