×

Found 6 Documents (Results 1–6)

Approximation and normalization results for typeable term rewriting systems. (English) Zbl 1407.68243

Dowek, Gilles (ed.) et al., Higher-order algebra, logic, and term rewriting. Second international workshop, HOA ’95, Paderborn, Germany, September 21–22, 1995. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1074, 17-36 (1996).
MSC:  68Q42 03B40
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software