research
∙
02/17/2022
Term Rewriting Based On Set Automaton Matching
In previous work we have proposed an efficient pattern matching algorith...
share
research
∙
11/27/2020
Adaptive Non-linear Pattern Matching Automata
Efficient pattern matching is fundamental for practical term rewrite eng...
research
∙
01/24/2020
