Languages
Dinneen, Michael J.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Computation, physics and beyond[electronic resource] :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:
Clark Conference ((2005 :); Dinneen, Michael J.; Khoussainov, Bakhadyr.; Nies, Andre.; SpringerLink (Online service)
(Language materials, printed)
Unconventional computation and natural computation[electronic resource] :14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015 : proceedings /
by:
Calude, Cristian S.; Clark Conference ((2005 :); Dinneen, Michael J.; SpringerLink (Online service)
(Language materials, printed)
Developments in language theory: 8th international confernece,DLT 2004,auckland,New Zealand,December 13-17,2004 ...
by:
Calude, Cristian S.; Calude, Elena; Dinneen, Michael J.
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Theory of Computation.
Formal languages -- Congresses
Logics and Meanings of Programs.
Mathematics of Computing.
Electronic data processing
Natural computation
Pattern Recognition.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Computer logic
Soft computing
Computer science
Computer Science.