Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 20389 HUF
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

136 b

20 389 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Tombeaux Annette Wieviorka

Paperback

4 565 Ft

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

Paperback

26 066 Ft

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

Paperback

9 517 Ft

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

Paperback

2 221 Ft

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

Paperback

5 270 Ft

Lejos de todo Idoia Amo

Paperback

5 407 Ft

El misteri del tresor desaparegut: Geronimo Stilton 10 GERONIMO STILTON

Paperback

4 295 Ft

EinFach Deutsch Unterrichtsmodelle Franz Kafka

Paperback

13 618 Ft

Indices Petrus de Crescentiis

Paperback

16 170 Ft

Marktsegmentauswahl und Personalimagewerbung ausgewahlter Grossbanken Alexandra Rettinger

Paperback

13 499 Ft

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

6 411 Ft

Die Russische Klavierschule. Bd.2 Alexander Nikolajew

Sheet music

11 563 Ft

Chaconne For Jonathan Harvey, Orgel Ed Hughes

Sheet music

4 536 Ft

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.