Jonas Schöpf | DeepAI

DeepAI

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

Featured Co-authors

Aart Middeldorp
5 publications
Christian Sternagel
5 publications

research

∙ 09/21/2023

Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)

Numerous confluence criteria for plain term rewrite systems are known. F...

0 Jonas Schöpf, et al. ∙

research

∙ 06/13/2018

TTT2 with Termination Templates for Teaching

On the one hand, checking specific termination proofs by hand, say using...

0 Jonas Schöpf, et al. ∙