Presburger Arithmetic and Pseudo-Recursive Saturation David Llewellyn-Jones School of Mathematics and Statistics The University of Birmingham Edgbaston, Birmingham, B15 2TT, U.K. - Model elimination - Document - PDFSEARCH.IO

First Page	Meta Content
	Presburger Arithmetic and Pseudo-Recursive Saturation David Llewellyn-Jones School of Mathematics and Statistics The University of Birmingham Edgbaston, Birmingham, B15 2TT, U.K. Add to Reading List Document Date: 2015-04-13 15:49:07 Open Document File Size: 33,32 KB Share Result on Facebook / Facility Statistics The University of Birmingham Edgbaston / / MusicAlbum U.K. / / Organization Presburger Arithmetic and Pseudo-Recursive Saturation David Llewellyn-Jones School of Mathematics / University of Birmingham Edgbaston / Birmingham / / URL www.mat.bham.ac.uk/llewelld / / SocialTag Logic in computer science Proof theory Mathematics Quantifier elimination Presburger arithmetic Mathematical logic Model theory Logic

Presburger Arithmetic and Pseudo-Recursive Saturation David Llewellyn-Jones School of Mathematics and Statistics The University of Birmingham Edgbaston, Birmingham, B15 2TT, U.K.Add to Reading List