Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators in Isomorphism Complete.

David A. Basin

Browse the full CADE paper archive.