Testing for the ground (co-)reducibility property in term-rewriting systems

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.8K citations

Logical Automaton, Engineering, Automated Reasoning +5

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.8K citations

Logical Automaton, Engineering, Automated Reasoning +5

Personal communication

Glen W. Davidson, Danell Crase · Death Studies · 1989 · 2.9K citations

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard Huet · Journal of the ACM · 1980 · 1.1K citations

Engineering, Data Curation, Term Rewriting Systems +19

Proofs by induction in equational theories with constructors

Gérard Huet, Jean-Marie Hullot · Journal of Computer and System Sciences · 1982 · 261 citations

Equational Theories, Automated Reasoning, Proof Theory +2