Pages that link to "Item:Q5957904"

The following pages link to A first order logic for specification of timed algorithms: Basic properties and a decidable class (Q5957904):

Displayed 6 items.

• Decidable fragments of many-sorted logic (Q1041587) ‎ (← links)
• Decidable verification for reducible timed automata specified in a first order logic with time (Q1606131) ‎ (← 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)