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
Volume:449
Pages: 251-260

Paper in Conference Proceedings #424

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








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