Browsing Research publications by Author "Czabo, C."
Now showing items 1-1 of 1
-
An assertion concerning functionally complete algebras and NP-completeness
Horvath, G.; Nehaniv, C.L.; Czabo, C. (2008)In a paper published in J. ACM in 1990, Tobias Nipkow asserted that the problem of deciding whether or not an equation over a nontrivial functionally complete algebra has a solution is NP-complete. However, close examination ...