The following pages link to Automated Reasoning (Q5307057):
Displaying 3 items.
- Model-theoretic methods in combined constraint satisfiability (Q556677) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
- A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method (Q5234683) (← links)