Pages that link to "Item:Q4593086"
From MaRDI portal
The following pages link to A linear algebraic approach to datalog evaluation (Q4593086):
Displaying 9 items.
- A closed-form evaluation for Datalog queries with integer (gap)-order constraints (Q688670) (← links)
- Logic programming in tensor spaces (Q825007) (← links)
- A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic (Q831915) (← links)
- A semantic approach to optimize linear datalog programs (Q854685) (← links)
- Memory-saving evaluation plans for Datalog (Q2296730) (← links)
- (Q2767034) (← links)
- On the Expressive Power of Query Languages for Matrices (Q3305355) (← links)
- (Q5020978) (← links)
- Datalog LITE (Q5738951) (← links)