Checking that equations on terms define a finite set of equivalence classes

Information Processing Letters 2026 Open access

Read full text

Authors: Yohan Boichut, Thomas Genet

DOI: 10.1016/j.ipl.2026.106666

Cited by: 0

References: 9

Fields of Study & Subjects

Formal Methods in Verification Numerical Methods and Algorithms Logic programming and type systems

References 9