Pages that link to "Item:Q5302032"
From MaRDI portal
The following pages link to A Decision Procedure for Monotone Functions over Bounded and Complete Lattices (Q5302032):
Displaying 5 items.
- On deciding satisfiability by theorem proving with speculative inferences (Q438533) (← links)
- Combining nonstably infinite theories (Q851136) (← links)
- A weakly monotonic backward induction algorithm on finite bounded subsets of vector lattices. (Q1426778) (← links)
- (Q3191587) (← links)
- On Deciding Satisfiability by DPLL( $\Gamma+{\mathcal T}$ ) and Unsound Theorem Proving (Q5191095) (← links)