Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness.

Todd Schmid Tobias Kappé Dexter Kozen Alexandra Silva

Published in: ICALP (2021)

Keyphrases

propositional logic
regular expressions
data sets
relational algebra
data model
query language
algebraic expressions
boolean algebra
fixed point
test cases
object oriented
query processing
statistical tests
artificial intelligence
horn clauses
multiple choice
databases
algebraic geometry
database