EasyChair Smart SlideDocs/Log in
Author: António Ravara

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

Pointing to Private Names

Pointing to Private Names

Adrian Francalanza, Marco Giunti and António Ravara

A simple functional presentation and an inductive correctness proof of the Horn algorithm

A simple functional presentation and an inductive correctness proof of the Horn algorithm

António Ravara

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