Completeness results for omega-regular algebras.

James Cranch Michael R. Laurence Georg Struth

Published in: J. Log. Algebraic Methods Program. (2015)

Keyphrases

multimedia
clifford algebra
context free
search algorithm
object recognition
distributive lattices
relation algebra
data quality
data model
evolutionary algorithm
relational databases
real world
case study
e learning
artificial intelligence
learning algorithm
genetic algorithm