EasyChair Smart SlideHelp/Log in
Author: Radu Iosif

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

The Complexity of Prenex Separation Logic with One Selector

The Complexity of Prenex Separation Logic with One Selector

Mnacho Echenim, Radu Iosif and Nicolas Peltier

An Entailment Checker for Separation Logic with Inductive Definitions

An Entailment Checker for Separation Logic with Inductive Definitions

Radu Iosif and Cristina Serban

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