BOOLEAN PRECONGRUENCES PAUL BLAIN LEVY University of Birmingham, Birmingham B15 2TT, UK e-mail address: Abstract. We investigate the possible ways of ordering terms of ground type in a nondeterministic - Blain - Document - PDFSEARCH.IO

First Page	Meta Content
	BOOLEAN PRECONGRUENCES PAUL BLAIN LEVY University of Birmingham, Birmingham B15 2TT, UK e-mail address: Abstract. We investigate the possible ways of ordering terms of ground type in a nondeterministic Add to Reading List Document Date: 2009-11-17 12:32:19 Open Document File Size: 566,66 KB Share Result on Facebook Company I (x or yi ) We / / / Facility BOOLEAN PRECONGRUENCES PAUL BLAIN LEVY University of Birmingham / MUST STABLE / / IndustryTerm transition systems / / Organization University of Birmingham / / Person PAUL BLAIN / / Technology simulation / /

BOOLEAN PRECONGRUENCES PAUL BLAIN LEVY University of Birmingham, Birmingham B15 2TT, UK e-mail address: Abstract. We investigate the possible ways of ordering terms of ground type in a nondeterministicAdd to Reading List