Book Details

Algebraic Informatics

Publication year: 2007

ISBN: 978-3-540-75414-5

Internet Resource: Please Login to download book


It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, infinite computation, acceptors and transducers for strings, trees, graphs, arrays, etc., and decision problems.


Subject: Computer Science, Processing, algebra, algebraic specification, algebraic verification, automata, calculi, context-free grammars, deterministic learning, formal methods, formal testing, linear languages, modal logic, modling, process calculi, semantics