文档介绍：We dedicate this book to our parents
Progress puter Science and Applied Logic
Volume 24
Editor
John C. Cherniavsky, National Science Foundation
Associate Editors
Robert Constable, Cornell University
Jean Gallier, University of Pennsylvania
Richard Platek, Cornell University
Richard Statman, Carnegie-Mellon University
Horst Bunke
Peter J. Dickinson
Miro Kraetzl
Walter D. Wallis
A Graph-Theoretic Approach
to work Dynamics
Birkhauser¨
Boston • Basel • Berlin
Horst Bunke Peter J. Dickinson and Miro Kraetzl
Universitat¨ Bern Australian Department of Defence
Institute puter Science and Defence Science and Technology
Applied Mathematics (IAM/FKI) Organisation (DSTO)
CH-3012 Bern ISR Division–CA Group
Switzerland Edinburgh SA 5111
******@ Australia
peter.******@
miro.******@
Walter D. Wallis
Southern Illinois University
Department of Mathematics
Carbondale, IL 62901
USA
******@
Mathematics Subject Classification (2000): 68R19, 94C15, 05C90, 68T10
Library of Congress Control Number: 2006928981
ISBN-10: 0-8176-4485-7 e-ISBN-10: 0-8176-4519-5
ISBN-13: 978-0-8176-4485-7 e-ISBN-13: 978-0-8176-4519-9
Printed on acid-free paper.
c 2007 Birkhauser¨ Boston
All rights reserved. This work may not be translated or copied in whole or in part without the writ-
ten permission of the publisher (Birkhauser¨ Boston, c/o Springer Science+Business Media LLC, 233
Spring Street, New York, NY 10013, USA), except for brief excerpts in connection with reviews or
scholarly analysis. Use in connection with any form of information storage and retrieval, electronic
adaptation, computer software, or by similar or dissimilar methodology now known or hereafter de-
veloped is forbidden.
The use in this publication of trade names, trademarks, service marks and similar terms, even if they
are not identified as such, is not to be taken as an expression of opinion as to whether or not t