EasyChair Smart SlideDocs/Log in
Author: Julian Parsert

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

Towards Formal Foundations for Game Theory (Short Paper)

Towards Formal Foundations for Game Theory (Short Paper)

Julian Parsert and Cezary Kaliszyk

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: 2
Copyright © 2002 – 2024 EasyChair