Computing congruent closures on terms

DOI10.1007/BF02733112zbMath0915.68095MaRDI QIDQ1280915

K. Appert

Publication date: 28 April 1999

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

symbolic computationcomputer algebra

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites Work

• Variations on the Common Subexpression Problem
• Unnamed Item