The Community for Technology Leaders
2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) (2015)
Kassel, Germany
Sept. 23, 2015 to Sept. 25, 2015
ISSN: 1530-1311
ISBN: 978-1-4673-9316-4
TABLE OF CONTENTS

Cover Art (PDF)

pp. C4

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

Copyright Page (PDF)

pp. iv

Table of Contents (PDF)

pp. v-vii

Reviewers (PDF)

pp. xi

Undecidability of Chop (Abstract)

pp. 79-89

Author Index (PDF)

pp. 186
83 ms
(Ver 3.3 (11022016))