Sign up to our emails and be the first to know about new releases, special offers and more.
Become a Readings Member to make your shopping experience even easier. Sign in or sign up for free!
Hello Readings Member! Go to the member centre to view your orders, change your details, or view your lists, or sign out.
Australian Book Retailer of the Year 2021
J. Richard Buchi
(He himself would have sharply objected to the qualifier theoretical, because he more or less identified science and theory, using theory in a broader sense and science in a narrower…
Available to order, ships in approx 4 weeksAvailable to order
Available to order, ships in 7-14 daysAvailable to order
In the second part of the book he extends the theory to general (non-unary, many-sorted) algebras, term rewriting systems, tree automata, and pushdown automata.