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

Concept index

Symbols

βη-normal form 1022
λ calculus 896
θ-subsumption 674

A

A-ordering 1803
abnormality theory 1253
abstract consistency property 978
abstraction function 1759
AC-completion 578
AC-discrimination tree 1940
AC-matching 575, 1939
AC-rewriting 578
AC-unification 484, 578
accessibility relation 
ACI-uniflcation 485
adequacy of representations 1069
aggressive sharing 1867
A L B si1_e  1830
algorithm 
interior point 768
Simplex 764
almost monadic 1807
analytic cut 282
antiprenex normal form 352
atomic form 1121, 1127
attribute-based indexing 1857
autoepistemic logic (AEL) 1253 ...

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