Cervesato, I., Pfenning, F., Walker, D., Watkins, K.: A concurrent logical framework I & II. Technical Report CMU-CS-02-101 and 102, Department of Computer Science, Carnegie Mellon University (2002) Revised May 2003. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Focusing Inverse Method Theorem Prover for First-Order.. - Chaudhuri, Pfenning (2005) Self-citation (Pfenning) (Correct)
No context found.
Cervesato, I., Pfenning, F., Walker, D., Watkins, K.: A concurrent logical framework I & II. Technical Report CMU-CS-02-101 and 102, Department of Computer Science, Carnegie Mellon University (2002) Revised May 2003.
A Logical Characterization of Forward and Backward.. - Chaudhuri, Pfenning.. (2006) Self-citation (Pfenning) (Correct)
No context found.
Iliano Cervesato, Frank Pfenning, David Walker, and Kevin Watkins. A concurrent logical framework I & II. Technical Report CMU-CS-02-101 and 102, Department of Computer Science, Carnegie Mellon University, 2002. Revised May 2003.
Focusing the Inverse Method for Linear Logic - Chaudhuri, Pfenning (2005) Self-citation (Pfenning) (Correct)
No context found.
Iliano Cervesato, Frank Pfenning, David Walker, and Kevin Watkins. A concurrent logical framework I & II. Technical Report CMU-CS-02-101 and 102, Department of Computer Science, Carnegie Mellon University, 2002.
Focusing the Inverse Method for Linear Logic - Chaudhuri, Pfenning (2005) Self-citation (Pfenning) (Correct)
No context found.
Cervesato, I., Pfenning, F., Walker, D., Watkins, K.: A concurrent logical framework I & II. Technical Report CMU-CS-02-101 and 102, Department of Computer Science, Carnegie Mellon University (2002) Revised May 2003.
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