Unification Modulo Builtins

DOI10.1007/978-3-662-57669-4_10OpenAlexW2810367355MaRDI QIDQ5889036

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

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)

Related Items

Operationally-based program equivalence proofs using LCTRSs ⋮ Generalized rewrite theories, coherence completion, and symbolic methods