On Tools for Completeness of Kleene Algebra with Hypotheses.

Damien Pous Jurriaan Rot Jana Wagemaker

Published in: CoRR (2022)

Keyphrases

software tools
propositional logic
data sets
neural network
data mining
data model
regular expressions
database
information technology
decision support