Jonas Schöpf | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙

Success!

An error occurred