Progress Measures and Finite Arguments for Infinite Computations

Nils Klarlund. Progress Measures and Finite Arguments for Infinite Computations. PhD thesis, Cornell University, USA, 1990.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.