Satisfiability of a Spatial Logic with Tree Variables Emmanuel Filiot INRIA Futurs, Lille, Mostrare Project Jean-Marc Talbot University of Provence, LIF, Marseille Sophie Tison University of Lille1, LIFL, Mostrare Projec - University of Provence - Document - PDFSEARCH.IO

First Page	Meta Content
	Satisfiability of a Spatial Logic with Tree Variables Emmanuel Filiot INRIA Futurs, Lille, Mostrare Project Jean-Marc Talbot University of Provence, LIF, Marseille Sophie Tison University of Lille1, LIFL, Mostrare Projec Add to Reading List Document Date: 2013-09-02 09:14:18 Open Document File Size: 516,40 KB Share Result on Facebook

Satisfiability of a Spatial Logic with Tree Variables Emmanuel Filiot INRIA Futurs, Lille, Mostrare Project Jean-Marc Talbot University of Provence, LIF, Marseille Sophie Tison University of Lille1, LIFL, Mostrare ProjecAdd to Reading List