Published in

Springer, Lecture Notes in Computer Science, p. 373-389, 2016

DOI: 10.1007/978-3-662-49630-5_22

Links

Tools

Export citation

Search in Google Scholar

Unary Resolution: Characterizing Ptime

Book chapter published in 2016 by Clément Aubert ORCID, Marc Bagnol, Thomas Seiller ORCID
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Red circle
Preprint: archiving forbidden
Orange circle
Postprint: archiving restricted
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO