A Cut-Free Cyclic Proof System for Kleene Algebra.

Anupam Das Damien Pous

Published in: TABLEAUX (2017)

Keyphrases

modal logic
propositional logic
regular expressions
databases
data model
set theory
neural network
data mining
information retrieval
search engine
query language
graph cuts
relational algebra
laplace transform
relation algebra