Equivalence checking for weak bi-Kleene algebra.

Tobias Kappé Paul Brunet Bas Luttik Alexandra Silva Fabio Zanasi

Published in: CoRR (2018)

Keyphrases

propositional logic
business intelligence
regular expressions
relational algebra
query language
algebraic expressions
data sets
neural network
database
information systems
data model
weak signal
boolean algebra
data types
np complete
metadata
social networks
artificial intelligence