The following pages link to (Q3440993):
Displaying 3 items.
- Verifying specifications in the language L against temporal properties nonexpressible in this language (Q844345) (← links)
- Separable resolution method for checking the satisfiability of formulas in the language \({\mathfrak L}\) (Q1968528) (← links)
- Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). I (Q2508787) (← links)