EasyChair Smart SlideHelp/Log in
Author: Radu Iosif

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

Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard

Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard

Mnacho Echenim, Radu Iosif and Nicolas Peltier

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: 3
Copyright © 2002 – 2022 EasyChair