On Tools for Completeness of Kleene Algebra with Hypotheses.

Damien Pous Jurriaan Rot Jana Wagemaker

Published in: RAMiCS (2021)

Keyphrases

software tools
propositional logic
data sets
end users
software engineering
building blocks
hypothesis testing
visualization tools
real time
expert systems
data model
query language
decision support
learning systems
multiple hypotheses