Vincent van Oostrom | DeepAI

DeepAI

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

Featured Co-authors

Nao Hirokawa
6 publications
Julian Nagele
2 publications
Michio Oyamaguchi
1 publication

research

∙ 03/28/2023

On Causal Equivalence by Tracing in String Rewriting

We introduce proof terms for string rewrite systems and, using these, sh...

0 Vincent van Oostrom, et al. ∙

research

∙ 05/28/2019

Confluence by Critical Pair Analysis Revisited (Extended Version)

We present two methods for proving confluence of left-linear term rewrit...

0 Nao Hirokawa, et al. ∙