Original Title:
Reductions of search space in RUE-Resolution theorem proving
Languages of Item:
English
Main subject category:
Logic
Other subject categories:
Computer science
Keywords:
RUE-Resolution, equality literals, pure inequalities
Notes:
Περιλαμβάνει περίληψη και βιβλιογραφικές αναφορές