Rick Erkens

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Matching Strategy

Top Venues

J. Log. Algebraic Methods Program.

Publications

Rick Erkens
Optimizing term rewriting with creeper trace transducers. J. Log. Algebraic Methods Program. 141 (2024)
Mark Bouwman, Rick Erkens
Term Rewriting Based On Set Automaton Matching. CoRR (2022)
Rick Erkens, Maurice Laveaux
Adaptive Non-linear Pattern Matching Automata. Log. Methods Comput. Sci. 17 (4) (2021)
Rick Erkens, Jan Friso Groote
A Set Automaton to Locate All Pattern Matches in a Term. ICTAC (2021)
Rick Erkens, Jan Friso Groote
A Set Automaton to Locate All Pattern Matches in a Term. CoRR (2021)
Rick Erkens, Maurice Laveaux
Adaptive Non-Linear Pattern Matching Automata. FSCD (2020)
Rick Erkens, Jurriaan Rot, Bas Luttik
Up-to Techniques for Branching Bisimilarity. SOFSEM (2020)
Rick Erkens, Jurriaan Rot, Bas Luttik
Up-to Techniques for Branching Bisimilarity. CoRR (2020)
Rick Erkens, Maurice Laveaux
Adaptive Non-linear Pattern Matching Automata. CoRR (2020)