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):
Displaying 9 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)
- (Q3567766) (← links)
- ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS (Q3732958) (← links)
- Some open questions in the theory of program schemes and dynamic logics (Q3835003) (← links)
- Computer Science Logic (Q5292665) (← links)