Rick Erkens

According to our database, Rick Erkens authored at least 5 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Optimizing term rewriting with creeper trace transducers.

Rick Erkens

J. Log. Algebraic Methods Program., 2024

2022

Term Rewriting Based On Set Automaton Matching.

Mark Bouwman, Rick Erkens

CoRR, 2022

2021

Adaptive Non-linear Pattern Matching Automata.

Rick Erkens, Maurice Laveaux

Log. Methods Comput. Sci., 2021

A Set Automaton to Locate All Pattern Matches in a Term.

Rick Erkens, Jan Friso Groote

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

2020

Up-to Techniques for Branching Bisimilarity.

Rick Erkens, Jurriaan Rot, Bas Luttik

Proceedings of the SOFSEM 2020: Theory and Practice of Computer Science, 2020