EasyChair Smart SlideUser guide
Author: Christian Sternagel

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

Certified Equational Reasoning via Ordered Completion

Certified Equational Reasoning via Ordered Completion

Christian Sternagel and Sarah Winkler

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: 3
Copyright © 2002 – 2026 EasyChair