Kleene Theorems for Synchronous Products with Matching.

Ramchandra Phawade Kamal Lodaya

Published in: Trans. Petri Nets Other Model. Concurr. (2015)

Keyphrases

matching algorithm
propositional logic
pattern matching
image matching
regular expressions
xml documents
matching process
affine invariant
databases
neural network
approximate matching