Pages that link to "Item:Q1305921"

The following pages link to Temporal connectives versus explicit timestamps to query temporal databases (Q1305921):

Displaying 2 items.

• Verification of relational transducers for electronic commerce (Q1394796) (← links)
• First-order expressivity for S5-models: Modal vs. two-sorted languages (Q5960012) (← links)