Unification Modulo Builtins

DOI10.1007/978-3-662-57669-4_10MaRDI QIDQ5889036zbMATH OpenOpenAlexFDO

Authors Ştefan Ciobâcă, Andrei Arusoaie, Dorel Lucanu

Publication date 26 April 2023

Published in Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-57669-4_10

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1552528
• Unification theory
• scientific article; zbMATH DE number 4049130
• Some results on equational unification
• Combining unification algorithms

Cited in

(5)

• Generalized rewrite theories, coherence completion, and symbolic methods
• Operationally-based program equivalence proofs using LCTRSs
• scientific article; zbMATH DE number 845925 (Why is no real title available?)
• Difference of constrained patterns in logically constrained term rewrite systems
• Unification Modulo Chaining

This page was built for publication: Unification Modulo Builtins

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5889036)