Rick Erkens | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Jurriaan Rot
22 publications
Bas Luttik
13 publications
Maurice Laveaux
5 publications
Mark Bouwman
2 publications

research

∙ 02/17/2022

Term Rewriting Based On Set Automaton Matching

In previous work we have proposed an efficient pattern matching algorith...

2 Mark Bouwman, et al. ∙

research

∙ 11/27/2020

Adaptive Non-linear Pattern Matching Automata

Efficient pattern matching is fundamental for practical term rewrite eng...

0 Rick Erkens, et al. ∙

research

∙ 01/24/2020

Up-to Techniques for Branching Bisimilarity

Ever since the introduction of behavioral equivalences on processes one ...

0 Rick Erkens, et al. ∙