Pages that link to "Item:Q6487559"

The following pages link to A bounded domain property for an expressive fragment of first-order linear temporal logic (Q6487559):

Displaying 1 item.

• A decidable and expressive fragment of Many-Sorted first-order linear temporal logic (Q821564) (← links)