Publication:4205073
From MaRDI portal
zbMath0686.68019MaRDI QIDQ4205073
Nachum Dershowitz, Stéphane Kaplan, David Alan Plaisted
Publication date: 1989
68W30: Symbolic computation and algebraic computation
68Q55: Semantics in the theory of computing
68Q65: Abstract data types; algebraic specification
03D03: Thue and Post systems, etc.
Related Items
Rewrite, rewrite, rewrite, rewrite, rewrite, \dots, Conditional rewriting logic as a unified model of concurrency, Descendants and origins in term rewriting., Head boundedness of nonterminating rewritings