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

Todd Schmid Tobias Kappé Alexandra Silva

Published in: CoRR (2023)

Keyphrases

data model
query answering
propositional logic
test suite
database
databases
e learning
data structure
description logics
regular expressions
relational algebra
algebraic expressions