René Thiemann | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Aart Middeldorp
5 publications
Fabian Mitterwallner
1 publication
Elias Wenninger
1 publication

research

∙ 07/27/2023

Linear Termination over N is Undecidable

Recently it was shown that it is undecidable whether a term rewrite syst...

0 Fabian Mitterwallner, et al. ∙

research

∙ 07/27/2023

A Verified Efficient Implementation of the Weighted Path Order

The Weighted Path Order of Yamada is a powerful technique for proving te...

0 René Thiemann, et al. ∙