Pages that link to "Item:Q5902297"
From MaRDI portal
The following pages link to Automated Synthesis of Tableau Calculi (Q5902297):
Displaying 4 items.
- Unification in linear temporal logic LTL (Q716499) (← links)
- $\textsc{Met\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine (Q3010372) (← links)
- A Tableau Method for Checking Rule Admissibility in S4 (Q3185759) (← links)
- Simulation and Synthesis of Deduction Calculi (Q3185770) (← links)