EasyChair Smart SlideDocs/Log in
Author: Tony Hoare

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

Logic, Algebra, and Geometry at the Foundation of Computer Science

Logic, Algebra, and Geometry at the Foundation of Computer Science

Tony Hoare, Alexandra Mendes and Joao F. Ferreira

A Calculus of Space, Time and Causality: its Algebra, Geometry, Logic

A Calculus of Space, Time and Causality: its Algebra, Geometry, Logic

Tony Hoare, Georg Struth and Jim Woodcock

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