scientific article
From MaRDI portal
Publication:4063416
zbMath0306.02022MaRDI QIDQ4063416
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
History and basic features of the critical-pair/completion procedure ⋮ Unique normal forms for lambda calculus with surjective pairing ⋮ Jumping and escaping: modular termination and the abstract path ordering ⋮ Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems ⋮ Conditional linearization ⋮ Implementing conditional term rewriting by graph rewriting ⋮ The replenishment algorithm in algebras of sets ⋮ Diagram techniques for confluence
This page was built for publication:
