Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness.

Tobias Kappé Paul Brunet Alexandra Silva Jana Wagemaker Fabio Zanasi

Published in: CoRR (2020)

Keyphrases

regular expressions
propositional logic
query language
algebraic expressions
data model
neural network
hypothesis space
real time
databases
database systems
probabilistic model
relational algebra
hypothesis testing
observational data