The Undecidability of Pattern Matching in Calculi where Primitive Recursive Functions are Representable.

Published in: CoRR (2023)

Keyphrases

pattern matching
integrity constraints
recursive functions
inductive inference
description logics
regular expressions
matching process
string matching
tree matching
pattern matching algorithm
boyer moore
approximate pattern matching
database
graph matching
hamming distance
matching strategy