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):

Displaying 9 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)
• Moded and continuous abstract state machines (Q2115900) (← 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)
• Algebraic and logical characterizations of deterministic linear time classes (Q5048946) (← links)
• A Characterization of Alternating Log Time by First Order Functional Programs (Q5387886) (← links)
• A first order logic for specification of timed algorithms: Basic properties and a decidable class (Q5957904) (← links)