Pages that link to "Item:Q1606131"

The following pages link to Decidable verification for reducible timed automata specified in a first order logic with time (Q1606131):

Displaying 5 items.

• Decidable fragments of many-sorted logic (Q1041587) (← links)
• Periodicity based decidable classes in a first order timed logic (Q2368906) (← links)
• Decidable properties for monadic abstract state machines (Q2498914) (← links)
• Decidable Fragments of Many-Sorted Logic (Q3498453) (← links)
• A first order logic for specification of timed algorithms: Basic properties and a decidable class (Q5957904) (← links)