Automata for Branching and Layered Temporal Structures Image close
Automata for Branching and Layered Temporal Structures by Gabriele Puppis
Automata for Branching and Layered Temporal Structures by Gabriele Puppis
Show Hide Adult Content
Automata for Branching and Layered Temporal Structures close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Automata for Branching and Layered Temporal Structures

An Investigation into Regularities of Infinite Transition Systems
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$149.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.25 with Afterpay Learn more

6 weekly interest-free payments of $24.83 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 19 Jun - 1 Jul using International Courier

Explore more Lecture Notes in Artificial Intelligence

See all products in this series

Advances in Knowledge Discovery and Data Mining
$314.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 7 Jun 2024
Advances in Brain Inspired Cognitive Systems
$165.00
Advances in Brain Inspired Cognitive Systems
Paperback / softback
Pre-order - out 29 May 2024
Intelligent Robotics and Applications
$241.00
Intelligent Robotics and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Machine Learning and Knowledge Discovery in Databases: Research Track
$292.00
Machine Learning and Knowledge Discovery in Databases: Research Track
Paperback / softback
Available - Usually ships in 3-4 weeks
New Frontiers in Mining Complex Patterns
$150.00
New Frontiers in Mining Complex Patterns
Paperback / softback
Available - Usually ships in 3-4 weeks
Towards Autonomous Robotic Systems
$152.00
Towards Autonomous Robotic Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Augmented Cognition. Enhancing Cognition and Behavior in Complex Human Environments
$151.00
Augmented Cognition. Enhancing Cognition and Behavior in Complex...
Paperback / softback
Available - Usually ships in 3-4 weeks
Data Analytics for Renewable Energy Integration: Informing the Generation and Distribution of Renewable Energy
$151.00
Data Analytics for Renewable Energy Integration: Informing the...
Paperback / softback
Available - Usually ships in 3-4 weeks
New Frontiers in Artificial Intelligence
$151.00
New Frontiers in Artificial Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection
$151.00
Advances in Practical Applications of Agents, Multi-Agent Systems,...
Paperback / softback
Available - Usually ships in 3-4 weeks
Human-Inspired Computing and its Applications
$158.00
Human-Inspired Computing and its Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Knowledge Discovery and Data Mining
$344.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Available - Usually ships in 3-4 weeks
Advanced Data Mining and Applications
$203.00
Advanced Data Mining and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Statistical Language and Speech Processing
$203.00
Statistical Language and Speech Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Statistical Language and Speech Processing
$151.00
Statistical Language and Speech Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Rough Sets and Knowledge Technology
$170.00
Rough Sets and Knowledge Technology
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
February 18th, 2010
Audience
  • Professional & Vocational
Illustrations
41 Illustrations, black and white; 206 p. 41 illus.
Pages
206
Dimensions
155x235x13
ISBN-13
9783642118807
Product ID
6303384

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Algorithms & procedures
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence