Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems

By Gabriele Puppis

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642118801
• ISBN13: 9783642118807
• Release Date: February 2010
• Publisher: Springer
• Length: 206 Pages
• Weight: 0.75 lbs.
• Dimensions: 0.5" x 6.1" x 9.1"