Confluence modulo equivalence with invariants in constraint handling rules

DOI10.1007/978-3-319-90686-7_8OpenAlexW2963648492MaRDI QIDQ1648877

Thom Frühwirth, Daniel Gall

Publication date: 9 July 2018

Full work available at URL: https://arxiv.org/abs/1802.03381

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70)

Related Items (1)

Confluence up to garbage in graph transformation

This page was built for publication: Confluence modulo equivalence with invariants in constraint handling rules