Canonical Regular Types

DOI10.4230/LIPIcs.ICLP.2011.73zbMath1245.68053OpenAlexW2122609950MaRDI QIDQ2909144

Ethan Jackson, Nikolaj Bjørner, Wolfram Schulte

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_cb37.html

zbMATH Keywords

canonical formsregular typestype canonizer

Mathematics Subject Classification ID

Data structures (68P05) Logic programming (68N17)

This page was built for publication: Canonical Regular Types