EasyChair Smart SlideDocs/Log in
Author: Jonas Schöpf

This page shows all presentations of this author published in EasyChair Smart Slide.

Confluence of Logically Constrained Rewrite Systems Revisited

Confluence of Logically Constrained Rewrite Systems Revisited

Jonas Schöpf, Fabian Mitterwallner and Aart Middeldorp

Confluence Criteria for Logically Constrained Rewrite Systems

Confluence Criteria for Logically Constrained Rewrite Systems

Jonas Schöpf and Aart Middeldorp

TTT2 with Termination Templates for Teaching

TTT2 with Termination Templates for Teaching

Jonas Schöpf and Christian Sternagel

A Formally Verified Solver for Homogeneous Linear Diophantine Equations

A Formally Verified Solver for Homogeneous Linear Diophantine Equations

Florian Meßner, Julian Parsert, Jonas Schöpf and Christian Sternagel

Presentations in this collection: 4
Copyright © 2002 – 2025 EasyChair