Dependent Choice, ‘Quote’ and the Clock

Theoretical Computer Science - Netherlands
doi 10.1016/s0304-3975(02)00776-4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV


Related search