Pages that link to "Item:Q3010363"
From MaRDI portal
The following pages link to A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders (Q3010363):
Displaying 6 items.
- Sibyl (Q23929) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (Q2351166) (← links)
- Extended decision procedure for a fragment of HL with binders (Q2351423) (← links)
- GUBS a Language for Synthetic Biology: Specification and Compilation (Q2945531) (← links)
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders (Q3010363) (← links)
