EasyChair Smart SlideDocs/Log in
Author: Steffen Jost

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

Decidable Inequalities over Infinite Trees

Decidable Inequalities over Infinite Trees

Sabine Bauer, Steffen Jost and Martin Hofmann

In Memory of Martin Hofmann

In Memory of Martin Hofmann

Steffen Jost

Static Prediction of Heap Space Usage for First-Order Functional Programs -- A Retrospective on my First Paper with Martin Hofmann

Static Prediction of Heap Space Usage for First-Order Functional Programs -- A Retrospective on my First Paper with Martin Hofmann

Steffen Jost

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair