The following pages link to (Q5523671):
Displaying 5 items.
- Maslov's inverse method and decidable classes (Q583187) (← links)
- The complexity of the satisfiability problem for Krom formulas (Q800915) (← links)
- Using resolution for deciding solvable classes and building finite models (Q4560350) (← links)
- Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method (Q5191105) (← links)
- What you always wanted to know about rigid E-unification (Q5235253) (← links)
