Back to Results
First PageMeta Content
Model theory / Quantification / Complexity classes / Predicate logic / Quantifier elimination / Presburger arithmetic / Well-formed formula / Arithmetical hierarchy / Universal quantification / Logic / Mathematical logic / Mathematics


Arithmetic Decision Procedures: a simple introduction Michael Norrish
Add to Reading List

Document Date: 2003-11-07 00:31:44

Open Document

File Size: 50,47 KB

Share Result on Facebook
UPDATE