EasyChair Smart SlideUser guide
Author: Dmitriy Traytel

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

A Formally Verified Abstract Account of Gödel's Incompleteness Theorems

A Formally Verified Abstract Account of Gödel's Incompleteness Theorems

Andrei Popescu and Dmitriy Traytel

A Derivative-Based Decision Procedure for WS1S

A Derivative-Based Decision Procedure for WS1S

Dmitriy Traytel

Formalizing Bachmair and Ganzinger's Ordered Resolution Prover

Formalizing Bachmair and Ganzinger's Ordered Resolution Prover

Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann

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