Communication dans un congrès, Informatique, Logique en informatique
Reasoning about cyclic space: axiomatic and computational aspects
Philippe Balbiani, Jean-François Condotta, Gérard Ligozat. Reasoning about cyclic space: axiomatic and computational aspects. German Conference on Spatial Cognition 2002, May 2002, Tutzing, Germany. pp.348--371, ⟨10.1007/3-540-45004-1_20⟩. ⟨hal-04003614⟩
