Dependent Choice, ‘Quote’ and the Clock
Theoretical Computer Science - Netherlands
doi 10.1016/s0304-3975(02)00776-4
Full Text
Open PDFAbstract
Available in full text
Date
November 1, 2003
Authors
Publisher
Elsevier BV
Available in full text
November 1, 2003
Elsevier BV