Open AccessRigid E-unification: NP-completeness and applications to equational matings
Author(s) -
Jean Gallier,
Paliath Narendran,
David A. Plaisted,
Wayne Snyder
Publication year - 1990
Publication title -
carolina digital repository (university of north carolina at chapel hill)
Language(s) - English
DOI - 10.17615/pnp6-7560
Subject(s) - unification , completeness (order theory) , computer science , mathematics , programming language , combinatorics , mathematical analysis