Playing with Trees and Logic
Abstract
This document proposes an overview of my research since
Loading...
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Olivier Serre : Connect in order to contact the contributor
https://inria.hal.science/tel-01260775
Submitted on : Friday, January 22, 2016-3:17:10 PM
Last modification on : Friday, March 24, 2023-2:53:01 PM