5 books • 1 series
Using Temporal Logic and Datalog to Query Databases Evolving in Time (Classic Reprint)
Using Temporal Logic and Datalog to Query Databases Evolving in Time - Primary Source Edition
A Semantic Approach to Correctness of Concurrent Transaction Executions
Complex System
Branched Geodesics (Russian research in mathematics & science, #5)