×

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


MSC:

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

Software:

ETPS
PDF BibTeX XML Cite
Full Text: DOI