Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Automata for Branching and Layered Temporal Structures

Name: Automata for Branching and Layered Temporal Structures
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05281213
Price: 45.49 EUR
Availability: InStock
Author: Gabriele Puppis
ISBN: 9783642118807

An Investigation into Regularities of Infinite Transition Systems

Gabriele Puppis

Language

English

Book Paperback

Libristo code: 05281213

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2010

Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Lan... Full description

Libristo code: 05281213

111 b

45.49 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Tombeaux Annette Wieviorka

Paperback

10.29 €

Beziehungen zwischen dem normativen und dem produktiven Aspekt einer Demokratisierung der Wirtschaft. Jochen Block

Paperback

69.90 €

La dernière aventure de Tintin et d'Hergé Madame NICOLE BENKEMOUN

Paperback

21.39 €

Ravensburger Leserabe Rätselspaß - Kreuzworträtsel zum Lesenlernen - 2. Lesestufe Anne Karen Rasch

Paperback

5.09 €

Pour un manquement Première variation Nos jours après la vie Gauthier

Paperback

11.89 €

Lejos de todo Idoia Amo

Paperback

14.29 €

El misteri del tresor desaparegut: Geronimo Stilton 10 GERONIMO STILTON

Paperback

9.69 €

EinFach Deutsch Unterrichtsmodelle Franz Kafka

Paperback

33.00 €

Indices Petrus de Crescentiis

Paperback

37.49 €

Marktsegmentauswahl und Personalimagewerbung ausgewahlter Grossbanken Alexandra Rettinger

Paperback

38.00 €

Memoires d'une contemporaine (1/8) Souvenirs d'une femme sur les principaux personnages de la Republique, du Consulat, de l'Empire, etc... Ida Saint-Elme

Paperback

14.09 €

Die Russische Klavierschule. Bd.2 Alexander Nikolajew

Sheet music

32.50 €

Chaconne For Jonathan Harvey, Orgel Ed Hughes

Sheet music

12.50 €

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.