O'Reilly logo

Handbook of Automated Reasoning by Andrei Voronkov, Alan J.A. Robinson

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Bibliography

Anantharaman S, Hsiang J. Automated proofs of the Moufang identities in alternative rings. J. Symbolic Computation. 1990;6:79–109.

Arnon DS, Collins GE, McCallum S. Cylindrical algebraic decomposition. I. The basic algorithm. SIAM J. Comput. 1984;13(4):865–877.

Arts T, Giesl J. Termination of term rewriting using dependency pairs. Theoretical Computer Science. 2000;236:133–178.

to appear Avenhaus J, Madlener K. Term rewriting and equational reasoning. In: Banoji RB, ed. Formal Techniques in Artificial Intelligence: A Sourcebook. 1989.

Avenhaus J, Madlener K. Term rewriting and equational reasoning. In: Banerji RB, ed. Formal Techniques in Artificial Intelligence: A Sourcebook. Amsterdam: Elsevier; 1990:1–41.

Baader F, ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required