Decanonicalizer

Home / Glossary / Decanonicalizer

The Decanonicalizer is a module in the Canonicalization Subsystem that converts HL expressions into logically equivalent EL expressions. It performs the inverse of what the Canonicalizer proper does.

email

7000 North Mopac Expressway, Suite #200
Austin, TX 78731, USA