Filter by: Subject
Now showing items 1-10 of 3
Branching time (1) |
Chain programs (1) |
Database queries (1) |
Datalog programs (1) |
Deductive Databases (3) |
Information technology and library technology, Data base management systems (3) |
Linearisability (1) |
Logic Program Transformations (1) |
Program optimisation (1) |
Program transformation (2) |