Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wol#, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy Self-citation (Pfenning) (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wol#, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003.
A Symmetric Modal Lambda Calculus for Distributed Computing - Tom Murphy Vii (2004) (3 citations) Self-citation (Pfenning) (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wolff, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003.
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy (2005) Self-citation (Pfenning) (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wol#, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003.
A Symmetric Modal Lambda Calculus for Distributed Computing - Tom Murphy Vii (2005) (3 citations) Self-citation (Pfenning) (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wolff, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003.
A Symmetric Modal Lambda Calculus for Distributed Computing - Tom Murphy Vii (2004) (3 citations) Self-citation (Pfenning) (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wolff, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003.
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy Self-citation (Pfenning) (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wol#, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003.
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy Self-citation (Pfenning) (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wol#, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003.
A Symmetric Modal Lambda Calculus for Distributed.. - Murphy VII.. (2004) (3 citations) Self-citation (Pfenning) (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wolff, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003.
A Symmetric Modal Lambda Calculus for Distributed.. - Murphy VII.. (2004) (3 citations) Self-citation (Pfenning) (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wol#, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003.
A Symmetric Modal Lambda Calculus for Distributed Computing - VII, Crary, Harper, Pfenning (2004) (3 citations) Self-citation (Pfenning) (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wol#, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003.
A Symmetric Modal Lambda Calculus for Distributed Computing - VII, Crary, Harper, Pfenning (2004) (3 citations) Self-citation (Pfenning) (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wol#, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003.
A Symmetric Modal Lambda Calculus for Distributed.. - Murphy VII.. (2004) (3 citations) Self-citation (Pfenning) (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wolff, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003.
A Symmetric Modal Lambda Calculus for Distributed Computing - VII, Crary, Harper, Pfenning (2004) (3 citations) Self-citation (Pfenning) (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wolff, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003.
Distributed Control Flow - With Classical Modal (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wol#, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003), pages 120--135, Rome, Italy, September 2003. Springer-Verlag LNCS 2758.
Distributed Control Flow - With Classical Modal (2005) (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wol#, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003), pages 120--135, Rome, Italy, September 2003. Springer-Verlag LNCS 2758.
Distributed Control Flow with Classical Modal Logic - Murphy VII, Crary, Harper (2005) (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wol#, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003.
Distributed Control Flow with Classical Modal Logic - Murphy VII, Crary, Harper (2005) (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wol#, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003.
Weak Normalization for the Simply-Typed Lambda-Calculus in Twelf.. - Abel (2004) (Correct)
No context found.
Carsten Schurmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wol , editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003), volume 2758 of Lecture Notes in Computer Science, pages 120-135, Rome, Italy, September 2003. Springer.
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