Equational Theories of Abnormal Termination Based on Kleene Algebra.

Konstantinos Mamouras

Published in: FoSSaCS (2017)

Keyphrases

equational theories
theorem proving
term rewriting
propositional logic
data model
algebraic expressions
regular expressions
query language
anomaly detection
rewrite systems
relational algebra
algebraic structure
video sequences
artificial intelligence
theorem prover
databases
programming language