Completeness Theorems for Kleene algebra with tests and top.

Damien Pous Jana Wagemaker

Published in: CoRR (2023)

Keyphrases

regular expressions
data model
propositional logic
query language
real time
machine learning
knowledge representation
test data
data quality
real numbers