scientific article
From MaRDI portal
Publication:3811749
zbMath0661.68093MaRDI QIDQ3811749
Jean H. Gallier, Wayne Snyder, Stan Raatz, Paliath Narendran, David Alan Plaisted
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35)
Related Items
Efficient ground completion ⋮ Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems ⋮ Any ground associative-commutative theory has a finite canonical system
