Pages that link to "Item:Q1990508"

The following pages link to On finite domains in first-order linear temporal logic (Q1990508):

Displaying 2 items.

• A decidable and expressive fragment of Many-Sorted first-order linear temporal logic (Q821564) (← links)
• Sound verification procedures for temporal properties of infinite-state systems (Q832273) (← links)