Complete Logics for Elementary Team Properties.

Juha Kontinen Fan Yang

Published in: J. Symb. Log. (2023)

Keyphrases

expressive power
topological properties
database
real time
clustering algorithm
case study
database systems
software development
linearly ordered