Pages that link to "Item:Q5234683"
From MaRDI portal
The following pages link to A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method (Q5234683):
Displayed 7 items.
- Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
- Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols (Q2090128) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
- Combining Non-Stably Infinite Theories (Q4916220) (← links)
- A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method (Q5234683) (← links)
- Connection calculus theorem proving with multiple built-in theories (Q5927987) (← links)
- Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties (Q6135743) (← links)