Items related to Iteration Theories: The Equational Logic of Iterative...
Iteration Theories: The Equational Logic of Iterative Processes (Monographs in Theoretical Computer Science. An EATCS Series) - Softcover
Synopsis
This monograph provides a detailed investigation of the fixed point or iteration operation, which plays a fundamental role in the theory of computation. The reader is introduced to universal algebra, guided through numerous theorems and applications, and shown that correctness logic is a special case of the equational logic of iteration theories.
"synopsis" may belong to another edition of this title.
Search results for Iteration Theories: The Equational Logic of Iterative...
Stock Image
Iteration Theories: The Equational Logic of Iterative Processes (Monographs in Theoretical Computer Science. An EATCS Series)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783642780363
Quantity: 1 available
Seller Image
Iteration Theories : The Equational Logic of Iterative Processes
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 18769641-n
Quantity: 15 available
Stock Image
Iteration Theories (Paperback)
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10: 3642780369
ISBN 13: 9783642780363
New
Paperback
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience consists of graduate students and research scientists interested in mathematical treatments of semantics. We assume the reader has a good mathematical background, although we provide some prelimi nary facts in Chapter 1. Written both for graduate students and research scientists in theoret ical computer science and mathematics, the book provides a detailed investigation of the properties of the fixed point or iteration operation. Iteration plays a fundamental role in the theory of computation: for example, in the theory of automata, in formal language theory, in the study of formal power series, in the semantics of flowchart algorithms and programming languages, and in circular data type definitions. It is shown that in all structures that have been used as semantical models, the equational properties of the fixed point operation are cap tured by the axioms describing iteration theories. These structures include ordered algebras, partial functions, relations, finitary and in finitary regular languages, trees, synchronization trees, 2-categories, and others. Iteration plays a fundamental role in the theory of computation: for example, in the theory of automata, in formal language theory, in the study of formal power series, in the semantics of flowchart algorithms and programming languages, and in circular data type definitions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783642780363
Quantity: 1 available
Stock Image
Iteration Theories: The Equational Logic of Iterative Processes (Monographs in Theoretical Computer Science. An EATCS Series)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020236218
Quantity: Over 20 available
Stock Image
Iteration Theories: The Equational Logic of Iterative Processes (Monographs in Theoretical Computer Science. An EATCS Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642780363_new
Quantity: Over 20 available
Seller Image
Iteration Theories : The Equational Logic of Iterative Processes
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 18769641
Quantity: 15 available
Seller Image
Iteration Theories
Published by
Springer Berlin Heidelberg Dez 2011, 2011
ISBN 10: 3642780369
ISBN 13: 9783642780363
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 -This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience consists of graduate students and research scientists interested in mathematical treatments of semantics. We assume the reader has a good mathematical background, although we provide some prelimi nary facts in Chapter 1. Written both for graduate students and research scientists in theoret ical computer science and mathematics, the book provides a detailed investigation of the properties of the fixed point or iteration operation. Iteration plays a fundamental role in the theory of computation: for example, in the theory of automata, in formal language theory, in the study of formal power series, in the semantics of flowchart algorithms and programming languages, and in circular data type definitions. It is shown that in all structures that have been used as semantical models, the equational properties of the fixed point operation are cap tured by the axioms describing iteration theories. These structures include ordered algebras, partial functions, relations, finitary and in finitary regular languages, trees, synchronization trees, 2-categories, and others. 652 pp. Englisch. Seller Inventory # 9783642780363
Quantity: 2 available
Seller Image
Iteration Theories
Published by
Springer Berlin Heidelberg, 2011
ISBN 10: 3642780369
ISBN 13: 9783642780363
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 5070458
Quantity: Over 20 available
Stock Image
Iteration Theories
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 652. Seller Inventory # 2654511547
Quantity: 4 available
Stock Image
Iteration Theories
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 652 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 55081060
Quantity: 4 available