| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Algorithms, concurrency and knowledge |
| Editors | K. Kanchansut, J.J. Levy |
| Place of Publication | Berlijn |
| Pages | 269-285 |
| Number of pages | 17 |
| Publication status | Published - 1995 |
The equivalence of the subsumption theorem and the refutation-completeness for unconstrained resolution
SH Cheng, R de Wolf
Research output: Chapter/Conference proceeding › Chapter › Academic
2
Citations
(Scopus)