An Extension of Kleene's and Ochmanski's Theorems to Infinite Traces.

Paul Gastin Antoine Petit Wieslaw Zielonka

Published in: Theor. Comput. Sci. (1994)

Keyphrases

propositional logic
data mining
regular expressions
image processing
three dimensional
search algorithm
preprocessing