Pages that link to "Item:Q391115"

The following pages link to Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers (Q391115):

Displaying 2 items.

• Metric propositional neighborhood logic with an equivalence relation (Q329414) (← links)
• Bounded variability of metric temporal logic (Q2408743) (← links)