Bor-Yuh Evan Chang, Kaustuv Chaudhuri, and Frank Pfenning. A judgmental analysis of linear logic. Technical Report CMU-CS-03-131R, Computer Science Department, Carnegie Mellon University, Apr 2003. Revised December 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) Self-citation (Pfenning) (Correct)
No context found.
Bor-Yuh Evan Chang, Kaustuv Chaudhuri, and Frank Pfenning. A judgmental analysis of linear logic. Technical Report CMU-CS-03-131R, Computer Science Department, Carnegie Mellon University, Apr 2003. Revised December 2003.
Using Constrained Intuitionistic Linear Logic for Hybrid.. - Planning Problems Uluc Self-citation (Pfenning) (Correct)
No context found.
B.-Y. E. Chang, K. Chaudhuri, and F. Pfenning. A judgmental analysis of linear logic. Technical Report CMU-CS-03-131R, Carnegie Mellon University, December 2003.
The Inverse Method for Intuitionistic Linear Logic (The.. - Chaudhuri (2003) Self-citation (Chaudhuri) (Correct)
No context found.
Bor-Yuh Evan Chang, Kaustuv Chaudhuri, and Frank Pfenning. A judgmental analysis of linear logic. Technical Report CMU-CS-03-131, Carnegie Mellon University, 2003.
A Focusing Inverse Method Theorem Prover for First-Order.. - Chaudhuri, Pfenning (2005) Self-citation (Chaudhuri Pfenning) (Correct)
No context found.
Chang, B.Y.E., Chaudhuri, K., Pfenning, F.: A judgmental analysis of linear logic. Technical Report CMU-CS-03-131R, Carnegie Mellon University (2003)
Focusing the Inverse Method for Linear Logic - Chaudhuri, Pfenning (2005) Self-citation (Chaudhuri Pfenning) (Correct)
No context found.
Bor-Yuh Evan Chang, Kaustuv Chaudhuri, and Frank Pfenning. A judgmental analysis of linear logic. Technical Report CMU-CS-03-131R, Carnegie Mellon University, December 2003.
A Focusing Inverse Method Theorem Prover for First-Order.. - Chaudhuri, Pfenning (2005) Self-citation (Chaudhuri Pfenning) (Correct)
No context found.
Chang, B.Y.E., Chaudhuri, K., Pfenning, F.: A judgmental analysis of linear logic. Technical Report CMU-CS-03-131R, Carnegie Mellon University (2003)
Focusing the Inverse Method for Linear Logic - Chaudhuri, Pfenning (2005) Self-citation (Chaudhuri Pfenning) (Correct)
No context found.
Chang, B.Y.E., Chaudhuri, K., Pfenning, F.: A judgmental analysis of linear logic. Technical Report CMU-CS-03-131R, Carnegie Mellon University (2003)
The Inverse Method for Intuitionistic Linear Logic (The.. - Chaudhuri (2003) Self-citation (Chaudhuri) (Correct)
No context found.
Bor-Yuh Evan Chang, Kaustuv Chaudhuri, and Frank Pfenning. A judgmental analysis of linear logic. Technical Report CMU-CS-03-131, Carnegie Mellon University, 2003.
CLL: A Concurrent Language Built from Logical Principles - Garg (2005) (Correct)
No context found.
Bor-Yuh Evan Chang, Kaustuv Chaudhuri, and Frank Pfenning. A judgmental analysis of linear logic. Technical Report CMU-CS-03-131, Computer Science Department, Carnegie Mellon University, 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