The following pages link to (Q3765752):
Displaying 5 items.
- Formal correctness of a quadratic unification algorithm (Q877825) (← links)
- Recognition of tractable satisfiability problems through balanced polynomial representations (Q1962045) (← links)
- Polynomial algorithm of limited propositional deduction (Q1962496) (← links)
- A Splitting Algorithm Based on Soft Constraints for the Computation of Truth Degree in Quantitative Logic (Q3145830) (← links)
- Efficient program synthesis: Semantics, logic, complexity (Q5096241) (← links)