A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests.

Todd Schmid Tobias Kappé Alexandra Silva

Published in: ESOP (2023)

Keyphrases

data model
query language
data sets
algebraic expressions
real time
machine learning
genetic algorithm
fixed point
regular expressions
propositional logic
algebraic geometry