Languages
Nies, Andre.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Computation, physics and beyond = 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:
Dinneen, Michael J.; Khoussainov, Bakhadyr.; Nies, Andre.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Theory of Computation.
Computational complexity.
Logics and Meanings of Programs.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computer logic
Computer science- Mathematics
Computer science
Stochastic processes.
Computer Science.