Search results for: John C. Reynolds
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Position Papers > 460-469
Lecture Notes in Computer Science > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Invited Papers > 35-48
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Keynote Talks (Abstracts) > 1-1
Higher-Order and Symbolic Computation > 1998 > 11 > 4 > 355-361
Higher-Order and Symbolic Computation > 1998 > 11 > 4 > 363-397