Equation solving in conditional AC-theories

DOI10.1007/3-540-53162-9_46zbMath1493.68105OpenAlexW1977211509MaRDI QIDQ5096202

No author found.

Publication date: 16 August 2022

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.889

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

SUTRA

Cites Work

• Complete sets of transformations for general E-unification
• Basic narrowing revisited
• The relation between logic and functional languages: a survey
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Equation solving in conditional AC-theories