A Kleene Theorem for Polynomial Coalgebras.

Marcello M. Bonsangue Jan J. M. M. Rutten Alexandra Silva

Published in: FoSSaCS (2009)

Keyphrases

regular expressions
knowledge base
propositional logic
low order
three dimensional
similarity measure
search algorithm
multiresolution
pattern matching
algebraic geometry
intuitionistic logic