Equivariant unification

Lecture Notes in Computer Science

Volumn 3467, Issue , 2005, Pages 74-89

  Cheney, James ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; DECISION THEORY; FORMAL LOGIC; POLYNOMIALS; PROBLEM SOLVING; TECHNICAL WRITING;

DECISION PROBLEMS; EQUIVARIANT UNIFICATION; NOMINAL LOGIC; POLYNOMIAL TIME ALGORITHMS;

LOGIC PROGRAMMING;

EID: 24944459063     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-32033-3_7     Document Type: Conference Paper

References (11)

1. J. Cheney and C. Urban. Alpha-Prolog: A logic programming language with names, binding and alpha-equivalence. In Proc. 20th Int. Conf. on Logic Programming (ICLP 2004), number 3132 in LNCS, pages 269-283, 2004.
2. James Cheney. The complexity of equivariant unification. In Proceedings of the 31st International Colloquium on Automata, Languages and Programming (ICALP 2004), volume 3142 of LNCS, pages 332-344. Springer-Verlag, 2004.
3. James R. Cheney. Nominal Logic Programming. PhD thesis, Cornell University, Ithaca, NY, August 2004.
4. Maribel Fernández, Murdoch Gabbay, and Ian Mackie. Nominal rewriting systems. In Proceedings of the 6th Conference on Principles and Practice of Declarative Programming (PPDP 2004), 2004. To appear.
5. Thom Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1-3):95-138, October 1998.
6. M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341-363, 2002.
7. A. M. Pitts. Nominal logic, a first order theory of names and binding. Information and Computation, 183:165-193, 2003.
8. M. R. Shinwell, A. M. Pitts, and M. J. Gabbay. FreshML: Programmming with binders made simple. In Proc. 8th ACM SIGPLAN Int. Conf. on Functional Programming (ICFP 2003), pages 263-274, Uppsala, Sweden, 2003. ACM Press.
9. Wayne Snyder. A Proof Theory for General Unification, volume 11 of Progress in Computer Science and Applied Logic. Birkhäuser, 1991.
10. C. Urban and J. Cheney. Avoiding equivariance in alpha-Prolog. To appear, 2004.
11. C. Urban, A. M. Pitts, and M. J. Gabbay. Nominal unification. Theoretical Computer Science, 323(1-3):473-497, 2004.