A Framework for Kleene Algebra with an Embedded Structure.

Hitoshi Furusawa

Published in: RelMiCS (2005)

Keyphrases

main contribution
case study
probabilistic model
computational framework
framework enables
real time
databases
pattern matching
theoretical framework
regular expressions