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

First Page		Document Content
Date: 2009-11-17 12:32:19		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 Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 566,66 KB Share Document on Facebook