Search alternatives:
"like resolution" » "time resolution", "fine resolution", "name resolution"
Cover Image
Read Now

1
Published 2014
Birkhäuser
Table of Contents: “... and the Pascaline (Bruno Poizat) -- 9. A Tutorial in Time and Space Bounds for Tree-like Resolution (Jacobo Torán...”