EasyChair Smart SlideUser guide
Author: Nicolas Peltier

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

What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?

What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?

Tanguy Bozec, Nicolas Peltier, Quentin Petitjean and Mihaela Sighireanu

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

Superposition with Datatypes and Codatatypes

Superposition with Datatypes and Codatatypes

Jasmin Christian Blanchette, Nicolas Peltier and Simon Robillard

Presentations in this collection: 5
Copyright © 2002 – 2026 EasyChair