Login / Signup
Tatyana A. Novikova
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Upper Bound
Theorem Prover
Np Complete Problems
Polynomial Time Complexity
Top Venues
UNIF
</>
Publications
</>
Tatyana A. Novikova
,
Vladimir A. Zakharov
Two-sided unification is NP-complete.
UNIF
(2014)