Geodesic

Volume 5 (2003) no. 2

Sommaire

Dicovering spaces
p. 1-17
Table of Contents
p. 2-4
Computing linking numbers of a filtration
p. 19-37
Introduction
p. 6
Topological deformation of higher dimensional automata
p. 39-82
Computation of cohomology operations of finite simplicial complexes
p. 83-93
Some geometric perspectives in concurrency theory
p. 95-136
On the geometry of intuitionistic S4 proofs
p. 137-209
Ordinary and directed combinatorial homotopy, applied to image analysic and concurrency
p. 211-231
Computing homology
p. 233-256
State spaces and dipaths up to dihomotopy
p. 257-280