Jan Willem Klop | DeepAI

DeepAI

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

Featured Co-authors

Roy Overbeek
11 publications
Jörg Endrullis
11 publications

research

∙ 01/23/2020

Star Games and Hydras

The recursive path ordering is an established and crucial tool in term r...

0 Jörg Endrullis, et al. ∙

research

∙ 01/30/2019

Decreasing Diagrams for Confluence and Commutation

The decreasing diagrams technique is one of the strongest and most versa...

0 Jörg Endrullis, et al. ∙