Abbreviation of "recursively enumerable"; the class of decision problems for which a 'yes' answer can be verified by a Turing machine in a finite amount of time.
over against
prep
In comparison to.
How often have the words RE and over against occurred in a corpus of books? (source: Google Ngram Viewer )