Yet Another Decision Procedure for Equality Logic
No abstract available.
Related papers
- Verified decision procedures for MSO on words based on derivatives of regular expressions ICFP 2013
- Verified decision procedures for MSO on words based on derivatives of regular expressions JFP 2015
- Automatic Verification of Pointer Programs using Monadic Second-Order Logic PLDI 1997
- Efficient Temporal Reasoning POPL 1989
- Separation Logic Modulo Theories APLAS 2013
- Verified and Optimized Implementation of Orthologic Proof Search CAV 2025
- A decision procedure for subset constraints over regular languages PLDI 2009
- Abstract satisfaction POPL 2014