Searching for authors named Patrick Lincoln – sorted by Relevance.
61 documents found, showing 1 through 10.
Next 10 →
-
Deciding Provability of Linear Logic Formulas
- … Mathematical Society Lecture Notes Series, Cambridge Univ. Press Patrick Lincoln December 15, 1994 A great…
- Cited by 13 (0 self) – Add To MetaCart
-
Linear Logic
- …Appeared in SIGACT 1992 Linear Logic Patrick Lincoln lincoln@(email omitted); SRI and Stanford…
- Cited by 21 (1 self) – Add To MetaCart
-
Dynamic Low-Density Parity Check Codes for Fault-tolerant Nanoscale Memory
- … and Patrick D. Lincoln {shalini,lincoln}@(email omitted); Computer Science Laboratory, SRI International, Menlo…
- Add To MetaCart
-
Strategic Reflection
- …Strategic Reflection ? Patrick Lincoln and Jos'e Meseguer SRI International, Menlo Park, CA 94025…
- Cited by 1 (1 self) – Add To MetaCart
-
Higher-Order, Linear, Concurrent Constraint Programming
- … Road Palo Alto Ca 94304 (saraswat@(email omitted);) Patrick Lincoln Department of Computer Science…
- Cited by 27 (4 self) – Add To MetaCart
-
Operational Aspects of Linear Lambda Calculus
- … calculus Patrick Lincoln John Mitchell y Computer Science Department Computer Science Department…
- Cited by 40 (5 self) – Add To MetaCart
-
Formal Verification of an Interactive Consistency Algorithm for the Draper FTP Architecture Under a Hybrid Fault Model
- … on Computer Assurance), IEEE, Gaithersburg, June 1994, pp. 107--120 Patrick Lincoln and John Rushby Computer…
- Cited by 13 (4 self) – Add To MetaCart
-
Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks
- …Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks ⋆ Patrick Lincoln…
- Cited by 14 (1 self) – Add To MetaCart
-
First Order Linear Logic without Modalities Is NEXPTIME-Hard
- …First Order Linear Logic Without Modalities is NEXPTIME-Hard Patrick Lincoln Andre Scedrov y…
- Cited by 12 (9 self) – Add To MetaCart
-
The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model
- …/July 1993. Volume 697 of Springer Verlag Lecture Notes in Computer Science, pages 292--304 Patrick Lincoln…
- Cited by 19 (9 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
