7 citations · 7 across the 1 of their papers we have counts for
2 papers
cs.FL2021
A Set Automaton to Locate All Pattern Matches in a Term
Rick Erkens, Jan Friso Groote
Term pattern matching is the problem of finding all pattern matches in a subject term, given a set of patterns. Finding efficient algorithms for this problem is an important direct…
cs.LO2020★ 7 cited
Up-to Techniques for Branching Bisimilarity
Rick Erkens, Jurriaan Rot, Bas Luttik
Ever since the introduction of behavioral equivalences on processes one has been searching for efficient proof techniques that accompany those equivalences. Both strong bisimilarit…