research
∙
02/17/2022
Term Rewriting Based On Set Automaton Matching
In previous work we have proposed an efficient pattern matching algorith...
research
∙
08/31/2020