Alwen Tiu. A Logical Framework for Reasoning about Logical Specifications. PhD thesis, Pennsylvania State University, May 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Proof Search Specification of the π-Calculus - Tiu, Miller (2004) Self-citation (Tiu) (Correct)
No context found.
A. Tiu. A Logical Framework for Reasoning about Logical Specifications. PhD thesis, Pennsylvania State University, May 2004.
A Proof Search Specification of the π-Calculus - Tiu, Miller Self-citation (Tiu) (Correct)
No context found.
A. Tiu. A Logical Framework for Reasoning about Logical Specifications. PhD thesis, Pennsylvania State University,
CLF: A Dependent Logical Framework for Concurrent.. - Watkins, Cervesato.. (2004) (1 citation) (Correct)
No context found.
Alwen Tiu. A Logical Framework for Reasoning about Logical Specifications. PhD thesis, Pennsylvania State University, May 2004.
Nominal Logic Programming - Cheney (2004) (Correct)
No context found.
Alwen Tiu. A Logical Framework for Reasoning about Logical Specifications. PhD thesis, University of Pennsylvania, Philadelphia, PA, May 2004.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC