scientific article; zbMATH DE number 3635501
From MaRDI portal
zbMath0408.68046MaRDI QIDQ4195948
Richard J. Lipton, Lawrence V. Snyder
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Topics in termination, Termination of rewriting, History and basic features of the critical-pair/completion procedure, Orderings for term-rewriting systems, Weighted graphs: A tool for studying the halting problem and time complexity in term rewriting systems and logic programming, Natural termination
