scientific article
From MaRDI portal
Publication:3696522
zbMath0576.68038MaRDI QIDQ3696522
Paliath Narendran, Dan Benanav, Deepak Kapur
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A term equality problem equivalent to graph isomorphism, Complexity of matching problems, Associative-commutative unification, Some complexity theoretic aspects of AC rewriting, Multitree automata that count, Adventures in associative-commutative unification, Complete sets of unifiers and matchers in equational theories