EasyChair Smart SlideDocs/Log in
Author: Mnacho Echenim

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

A Generic Framework for Implicate Generation Modulo Theories

A Generic Framework for Implicate Generation Modulo Theories

Mnacho Echenim, Nicolas Peltier and Yanis Sellami

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