Unification and combination of a class of traversal strategies made with pattern matching and fixed-points.
Walid BelkhirNicolas RatierDuy Duc NguyenMichel LencznerPublished in: J. Log. Algebraic Methods Program. (2022)
Keyphrases
- pattern matching
- fixed point
- regular expressions
- dynamical systems
- pattern matching algorithm
- string matching
- matching process
- data structure
- higher order
- approximate value iteration
- temporal difference learning
- closure operator
- free energy
- approximate pattern matching
- boyer moore
- sufficient conditions
- suffix tree
- linear logic
- image segmentation
- asymptotic properties