EasyChair Smart SlideUser guide
Author: Petar Vukmirović

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

Faster, Higher, Stronger: E 2.3 (System Description)

Faster, Higher, Stronger: E 2.3 (System Description)

Stephan Schulz, Simon Cruanes and Petar Vukmirović

Superposition with Lambdas

Superposition with Lambdas

Alexander Bentkamp, Jasmin Christian Blanchette, Sophie Tourret, Petar Vukmirović and Uwe Waldmann

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair