Pages that link to "Item:Q2870111"
From MaRDI portal
The following pages link to An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics (Q2870111):
Displaying 3 items.
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
- An algorithm to compute maximal contractions for Horn clauses (Q543196) (← links)
- On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) (← links)