Publications (3)0 Total impact
-
Article: Two-sorted Point-Interval Temporal Logics.
Electr. Notes Theor. Comput. Sci. 01/2011; 278:31-45. -
Chapter: Logical Theories for Fragments of Elementary Geometry
09/2007: pages 343-428; -
Article: Modal Logics for Parallelism, Orthogonality, and Affine Geometries.
Journal of Applied Non-Classical Logics. 01/2002; 12:365-398.
Institutions
-
2007
-
Institut de Recherche en Informatique de Toulouse
Narbonne, Languedoc-Roussillon, France
-