The Undecidability of Third Order Pattern Matching in Calculi with Dependent Types or Type Constructors.

Published in: CoRR (2023)

Keyphrases

pattern matching
description logics
matching process
string matching
regular expressions
multiple types
tree matching
pattern matching algorithm
matching strategy
hamming distance
graph matching
bit parallel
boyer moore
data sets
approximate pattern matching