M. J. Gabbay and J. Cheney, A proof theory for nominal logic, Proceedings of the 19th annual IEEE symposium on logic in computer science (LICS  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Completeness and Herbrand Theorems for Nominal Logic - Cheney (2006) Self-citation (Cheney) (Correct)
No context found.
M. J. Gabbay and J. Cheney, A proof theory for nominal logic, Proceedings of the 19th annual IEEE symposium on logic in computer science (LICS
αProlog: A Logic Programming Language with Names.. - Cheney, Urban Self-citation (Cheney) (Correct)
No context found.
Murdoch Gabbay and James Cheney. A proof theory for nominal logic. Submitted.
Avoiding Equivariance in Alpha-Prolog - Urban, Cheney (2004) Self-citation (Cheney) (Correct)
No context found.
M. J. Gabbay and J. Cheney. A proof theory for nominal logic. In Proc. of Annual IEEE Symposium on Logic in Computer Science, pages 139--148, 2004.
A Simpler Proof Theory for Nominal Logic - Cheney (2005) Self-citation (Cheney) (Correct)
No context found.
M. J. Gabbay and J. Cheney. A proof theory for nominal logic. In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS 2004), pages 139--148, Turku, Finland, 2004.
Nominal Logic Programming - Cheney (2004) Self-citation (Cheney) (Correct)
No context found.
M. J. Gabbay and J. Cheney. A proof theory for nominal logic. In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS 2004.
A Simpler Proof Theory for Nominal Logic - Cheney (2005) Self-citation (Cheney) (Correct)
No context found.
M. J. Gabbay and J. Cheney. A proof theory for nominal logic. In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS 2004.
Nominal Unification - Urban, Pitts, Gabbay (2004) (5 citations) Self-citation (Gabbay) (Correct)
No context found.
M. Gabbay, J. Cheney, A proof theory for nominal logic, in: Nineteenth Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Washington, 2004.
Alpha-Prolog: A Logic Programming Language with Names.. - Cheney, Urban (2004) Self-citation (Cheney) (Correct)
No context found.
Murdoch Gabbay and James Cheney. A proof theory for nominal logic. Submitted.
Nominal Unification - Christian Urban Andrew (2003) (5 citations) Self-citation (Gabbay) (Correct)
No context found.
M. Gabbay, J. Cheney, A proof theory for nominal logic, in: Nineteenth Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Washington, 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