EasyChair Smart SlideDocs/Log in
Author: Brandon Bohrer

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

dLi: Definite Descriptions in Differential Dynamic Logic

dLi: Definite Descriptions in Differential Dynamic Logic

Brandon Bohrer, Manuel Fernandez and André Platzer

TWAM: A Certifying Abstract Machine for Logic Programs

TWAM: A Certifying Abstract Machine for Logic Programs

Brandon Bohrer and Karl Crary

A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow

A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow

Brandon Bohrer and André Platzer

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