Pergamos - Library and Information Center of National and Kapodistrian University of Athens

Original Title:

Reductions of search space in RUE-Resolution theorem proving

Languages of Item:

English

Creator:

Raptis, D.

Abstract:

Empty abstract

Main subject category:

Logic

Other subject categories:

Computer science

Keywords:

RUE-Resolution, equality literals, pure inequalities

Pages (from-to):

237-241

Notes:

Περιλαμβάνει περίληψη και βιβλιογραφικές αναφορές

Persistent URL:

https://pergamos.lib.uoa.gr/uoa/dl/object/1046897