The following pages link to (Q4551144):
Displaying 7 items.
- Definability in the language of functional equations of a countable-valued logic (Q2344091) (← links)
- NuMDG: a new tool for multiway decision graphs construction (Q2434522) (← links)
- Building small equality graphs for deciding equality logic with uninterpreted functions (Q2490118) (← links)
- (Q3340122) (← links)
- Transforming equality logic to propositional logic (Q4916229) (← links)
- EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas (Q4982077) (← links)
- Unification in Łukasiewicz Logic with a Finite Number of Variables (Q6485187) (← links)