Arithmetic Decision Procedures: a simple introduction Michael Norrish - Presburger arithmetic - Document - PDFSEARCH.IO

First Page	Meta Content
	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 City New York / / IndustryTerm interactive theoremproving systems / integer programming algorithm / / Organization Machine Intelligence / / Person D. C. Cooper / William Pugh / / ProvinceOrState New York / / PublishedMedium Communications of the ACM / / Technology integer programming algorithm / / SocialTag Model theory Quantification Complexity classes Predicate logic Quantifier elimination Presburger arithmetic Well-formed formula Arithmetical hierarchy Universal quantification Logic

Arithmetic Decision Procedures: a simple introduction Michael NorrishAdd to Reading List