Any ground associative-commutative theory has a finite canonical system
Journal of Automated Reasoning1996Vol. 17(1)
Citations Over TimeTop 23% of 1996 papers
Related Papers
- → Associative Unification and Symbolic Reasoning Modulo Associativity in Maude(2018)18 cited
- → Associative unification in Maude(2022)6 cited
- → Associative-Commutative Unification(1984)86 cited
- → Adventures in associative-commutative unification(1989)52 cited
- → Expectations for associative-commutative unification speedups in a multicomputer environment(2003)