Sign in
Game equivalence and expressive power of game description languages: a bisimulation approach.
Guifei Jiang
Laurent Perrussel
Dongmo Zhang
Heng Zhang
Yuzhi Zhang
Published in:
J. Log. Comput. (2023)
Keyphrases
</>
expressive power
query language
data complexity
description languages
first order logic
transitive closure
relational algebra
databases
artificial intelligence
computational properties
recursive queries
database
machine learning