Pages that link to "Item:Q791517"
From MaRDI portal
The following pages link to The comparison of the expressive power of first-order dynamic logics (Q791517):
Displayed 5 items.
- Role of determinism in query languages for data bases (Q1112628) (← links)
- Extended order-generic queries (Q1302301) (← links)
- A technique for proving decidability of containment and equivalence of linear constraint queries (Q1807671) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- IN MEMORIAM: MIKHAIL A. TAITSLIN 1936–2013 (Q2925327) (← links)