Simplicity via Provability for Universal Prefix-free Turing Machines

Cristian S. Calude. Simplicity via Provability for Universal Prefix-free Turing Machines. In Turlough Neary, Damien Woods, Anthony Karel Seda, Niall Murphy, editors, Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings. pages 15-22, Cork University Press, 2008.

Authors

Cristian S. Calude

This author has not been identified. It may be one of the following persons: Look up 'Cristian S. Calude' in Google