Publications

132 results at Theoretical Computer Science

Information-theoretic characterizations of recursive infinite strings
- - Gregory J. Chaitin
- 1976
- Theoretical Computer Science
Correctness of parallel programs: The Church-Rosser approach
- - Barry K Rosen
- 1976
- Theoretical Computer Science