Pages that link to "Item:Q2743641"
From MaRDI portal
The following pages link to On the decidability of the PVD class with equality (Q2743641):
Displaying 4 items.
- Representing and building models for decidable subclasses of equational clausal logic (Q861367) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- Decision procedures and model building in equational clause logic (Q4380444) (← links)
- Decidability of DPDA equivalence (Q5941060) (← links)