Kleene Algebra with Observations.

Tobias Kappé Paul Brunet Jurriaan Rot Alexandra Silva Jana Wagemaker Fabio Zanasi

Published in: CONCUR (2019)

Keyphrases

propositional logic
regular expressions
data model
neural network
query language
relational algebra
algebraic expressions
real world
machine learning
image processing
web services
case study
expert systems