Theory and Applications of Models of Computation

4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings

792 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

This book constitutes the refereed proceedings of the 4th International Conference on Theory and Applications of Models of Computation, TAMC 2007, held in Shanghai, China in May 2007. It addresses all major areas in computer science; mathematics, especially logic; and the physical sciences, particularly with regard to computation and computability theory. The papers particularly focus on algorithms, complexity and computability theory.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI)
• ISBN: 9783540725039
• Sprache: Englisch
• Erscheinungsdatum: 09.05.2007
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Barry S. Cooper, Jin-Yi Cai, Hong Zhu