Patrick Lincoln

No bio available. Add one in Open Library.

Books by Patrick Lincoln (50 max)

+ shelf+ list

A formally verified alrgothim for interactive consistency under a hybrid fault model

1993

Patrick Lincoln

+ shelf+ list

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science)

2007

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott

+ shelf+ list

A formally verified algorithm for interactive consistency under a hybrid fault model

1993

Patrick Lincoln

+ shelf+ list

Computational aspects of linear logic

1995

Patrick Lincoln