activity
20182021
most citedCongruence Closure Modulo Permutation Equations

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing cs.LOShow all

2 papers · 1 filter

cs.LO2021★ 1 cited

Congruence Closure Modulo Permutation Equations

Dohan Kim, Christopher Lynch

We present a framework for constructing congruence closure modulo permutation equations, which extends the abstract congruence closure framework for handling permutation function s…

cs.LO2018

Bounded ACh Unification

Ajay Kumar Eeralla, Christopher Lynch

We consider the problem of the unification modulo an equational theory ACh, which consists of a function symbol that is homomorphic over an associative-commutative operator …