Pages that link to "Item:Q3557073"
From MaRDI portal
The following pages link to Optimal Tableau Algorithms for Coalgebraic Logics (Q3557073):
Displaying 6 items.
- Accelerating tableaux proofs using compact representations (Q1334905) (← links)
- Reasoning with Global Assumptions in Arithmetic Modal Logics (Q2947894) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders (Q3532458) (← links)
- Computer Science Logic (Q5311279) (← links)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)
