EasyChair Smart SlideDocs/Log in
Author: Andrei Popescu

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

Rensets and Renaming-Based Recursion for Syntax with Bindings

Rensets and Renaming-Based Recursion for Syntax with Bindings

Andrei Popescu

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

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