Pages that link to "Item:Q391115"
From MaRDI portal
The following pages link to Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers (Q391115):
Displaying 4 items.
- Metric propositional neighborhood logic with an equivalence relation (Q329414) (← links)
- Bounded variability of metric temporal logic (Q2408743) (← links)
- A separation theorem for discrete-time interval temporal logic (Q5074367) (← links)
- Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms (Q5276108) (← links)