Relational structures for concurrent behaviours.

Ryszard Janicki Jetty Kleijn Maciej Koutny Lukasz Mikulski

Published in: Theor. Comput. Sci. (2021)

Keyphrases

relational structures
relational data
association graph
relational databases
first order logic
point sets
datalog programs
databases
markov logic networks
database
d objects
constraint satisfaction problems
point correspondences