A Coalgebraic Approach to Kleene Algebra with Tests.

Hubie Chen Riccardo Pucella

Published in: CMCS (2003)

Keyphrases

propositional logic
query language
regular expressions
data model
data sets
boolean algebra
algebraic expressions
real time
artificial intelligence
decision making
clustering algorithm
case study
evolutionary algorithm
integrity constraints
relational algebra