Login / Signup
Recursive Functions with Pattern Matching in Interaction Nets.
Maribel Fernández
Ian Mackie
Shinya Sato
Matthew Walker
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
pattern matching
recursive functions
inductive inference
pattern matching algorithm
string matching
matching process
regular expressions
approximate pattern matching
boyer moore
graph matching
bit parallel
tree matching
hamming distance
matching strategy
database
image quality
database systems