The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Publication Details:
Book: 10th International Conference on Automated Deduction (CADE-10)
Editors:Sickel, M.E.
Book#: 3-540-52885-7 / 0-387-52885-7
Publisher:Springer-Verlag, Berlin
Pages: 251-260

Paper in Conference Proceedings #424

Title:Equality of Terms Containing Associative Commutative Functions and Commutative Binding Operators is Isomorphism Complete
Date: 1990
Keywords:decision problems, rewriting, bound variables

[Search These Pages] [DAI Home Page] [Comment]