×

Found 2 Documents (Results 1–2)

Transfinite reductions in orthogonal term rewriting systems (extended abstract). (English) Zbl 1502.68151

Book, Ronald V. (ed.), Rewriting techniques and applications. 4th international conference, RTA-91, Como, Italy, April 10–12, 1991. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 488, 1-12 (1991).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Software