Rick Erkens

According to our database, Rick Erkens authored at least 4 papers between 2020 and 2022.

Collaborative distances:

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

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