Unifiability is complete for co-NLogSpace
- 10 December 1982
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 15 (5) , 220-222
- https://doi.org/10.1016/0020-0190(82)90121-1
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Linear unificationJournal of Computer and System Sciences, 1978
- Space-bounded reducibility among combinatorial problemsJournal of Computer and System Sciences, 1975
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965