Completeness of Finitely Weighted Kleene Algebra With Tests.

Published in: CoRR (2024)

Keyphrases

data model
propositional logic
query language
regular expressions
weighted sum
databases
finite number
real numbers
real time
real world
genetic algorithm
social networks
statistical tests
test suite
algebraic geometry