Items related to Automata for Branching and Layered Temporal Structures:...
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems: 5955 (Lecture Notes in Computer Science, 5955) - Softcover
Synopsis
LNAI 5955
"synopsis" may belong to another edition of this title.
From the Back Cover
Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation award for 2007.
Puppis' thesis focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a new method for deciding Monadic Second Order theories of trees. The results presented represent a significant step towards a better understanding of the changes in granularity levels that humans make so easily in cognition of time, space, and other phenomena, whereas their logical and computational structure poses difficult conceptual and computational challenges.
"About this title" may belong to another edition of this title.
Buy New
View this item
£ 47.64
£ 9.51 shipping from Germany to United Kingdom
Destination, rates & speeds
Search results for Automata for Branching and Layered Temporal Structures:...
Stock Image
Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems
Published by
Springer Berlin Heidelberg, 2010
ISBN 10: 3642118801
ISBN 13: 9783642118807
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 216 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 6932927/12
Quantity: 1 available
Seller Image
Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 8916394
Quantity: Over 20 available
Seller Image
Automata for Branching and Layered Temporal Structures
Published by
Springer Berlin Heidelberg Feb 2010, 2010
ISBN 10: 3642118801
ISBN 13: 9783642118807
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation award for 2007. Puppis' thesis focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a new method for deciding Monadic Second Order theories of trees. The results presented represent a significant step towards a better understanding of the changes in granularity levels that humans make so easily in cognition of time, space, and other phenomena, whereas their logical and computational structure poses difficult conceptual and computational challenges. 216 pp. Englisch. Seller Inventory # 9783642118807
Quantity: 2 available
Seller Image
Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 8916394-n
Quantity: Over 20 available
Seller Image
Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems
Published by
Springer Berlin Heidelberg, 2010
ISBN 10: 3642118801
ISBN 13: 9783642118807
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation award for 2007. Puppis' thesis focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a new method for deciding Monadic Second Order theories of trees. The results presented represent a significant step towards a better understanding of the changes in granularity levels that humans make so easily in cognition of time, space, and other phenomena, whereas their logical and computational structure poses difficult conceptual and computational challenges. Seller Inventory # 9783642118807
Quantity: 1 available
Seller Image
Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 8916394-n
Quantity: Over 20 available
Stock Image
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science, 5955)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783642118807
Quantity: Over 20 available
Seller Image
Automata for Branching and Layered Temporal Structures
Published by
Springer Berlin Heidelberg, 2010
ISBN 10: 3642118801
ISBN 13: 9783642118807
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. FoLLI LNAI monographSince 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation a. Seller Inventory # 5049693
Quantity: Over 20 available
Stock Image
Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 8916394
Quantity: Over 20 available
Stock Image
Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783642118807
Quantity: 10 available