×

Theorem proving using equational matings and rigid \(E\)-unification. (English) Zbl 0799.68171


MSC:

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)

Software:

ETPS
PDFBibTeX XMLCite
Full Text: DOI