Pages that link to "Item:Q5479278"
From MaRDI portal
The following pages link to Automated Reasoning with Analytic Tableaux and Related Methods (Q5479278):
Displaying 6 items.
- An automata-theoretic approach to constraint LTL (Q870361) (← links)
- A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
- Flexible software architectures for ontology-based information systems (Q1006736) (← links)
- An algebraic view on p-admissible concrete domains for lightweight description logics (Q2055793) (← links)
- LTL over integer periodicity constraints (Q2503321) (← links)
- An Automata-based Approach for CTL⋆ With Constraints (Q5179062) (← links)