Handbook of Automated Reasoning

Index

Symbols

* — wildcard variable  1859

<  1885

= _AC   1939

? — wildcard term  1860

Λ — the empty string  1860

Σ — alphabet  1859

{x ₁ t ₁, …, x _n t _n}  1860

$\overline{t}$ — flattened form of t  1939

≥ — inverse of ≤  1860

${\mathcal{B}}^{\approx }$   1910

$\mathcal{L}$ — the set of indexed terms  1856

$$