Pages that link to "Item:Q3455760"
From MaRDI portal
The following pages link to Modal Tableau Systems with Blocking and Congruence Closure (Q3455760):
Displaying 3 items.
- Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols (Q2090128) (← links)
- Deciding the word problem for ground identities with commutative and extensional symbols (Q2096444) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
