An analysis of the equational properties of the well-founded fixed point
Carayol, Arnaud, Ésik, ZoltánLanguage:
english
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2016.09.004
Date:
October, 2016
File:
PDF, 664 KB
english, 2016