Mark Bouwman | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Voice Chat

Featured Co-authors

Bas Luttik
13 publications
Tim A. C. Willemse
10 publications
Rick Erkens
3 publications
Wouter Schols
1 publication

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

∙ 08/31/2020

A process algebra with global variables

In standard process algebra, parallel components do not share a common s...

0 Mark Bouwman, et al. ∙