Computation, Physics and Beyond
Subtitle: International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers
By: edited by Michael J. Dinneen, Bakhadyr Khoussainov, André Nies
Contributors: Khoussainov, Bakhadyr; Nies, André; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7160
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642276545
Subjects: Mathematical Logic and Formal Languages; Information theory; Algorithm Analysis and Problem Complexity; Logic design; Logics and Meanings of Programs; Computation by Abstract Devices; Computer science; Theory of Computation; Mathematics of Computing; Computer software