×

Found 5 Documents (Results 1–5)

Unification in an extensional lambda calculus with ordered function sorts and constant overloading. (English) Zbl 1433.68554

Bundy, Alan (ed.), Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 814, 620-634 (1994).
MSC:  68V15 03B35 03B40
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Year of Publication

Main Field