Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen [1]	Hilfe

Suche: Author="Digricoli, V.J."

Als [bib] [pdf] [ps] [dvi] [xml] herunterladen.

Equality-based binary resolution

Publikation auswählen

V.J. Digricoli, M.C. Harrison

Journal of the ACM 33 (2), 1986, pp. 253-289

Publisher: ACM Press

Address: New York

Keywords: Binary resolution, equality axioms, equality-based binary resolution, experiments with an RUE theorem prover, paramodulation, proof of completeness, refutation search heuristics, RUE (resolution by unification and equality)