research
∙
08/24/2018
Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs
Confluence of a nondeterministic program ensures a functional input-outp...
share
research
∙
06/13/2016
