|
Home |
|
Volume 5(2), 2003
Algebraic Topological Methods
in Computer Science
Proceedings of a Workshop
Held at Stanford University,
July 30 - August 3, 2001
Edited by Gunnar Carlsson
Table of Contents
dvi
|
dvi.gz
|
ps
|
ps.gz
|
pdf
Introduction
-
Gunnar Carlsson, Rick Jardine, vi
dvi
|
dvi.gz
|
ps
|
ps.gz
|
pdf
1. Dicovering spaces
-
Lisbeth Fajstrup, 1-17
abstract
|
dvi
|
dvi.gz
|
ps
|
ps.gz
|
pdf
|
figures
2. Computing Linking Numbers of a Filtration
-
Herbert Edelsbrunner and Afra Zomorodian, 19-37
abstract
|
dvi
|
dvi.gz
|
ps
|
ps.gz
|
pdf
|
figures
3. Topological Deformation of Higher Dimensional Automata
-
Philippe Gaucher and Eric Goubault, 39-82
abstract
|
dvi
|
dvi.gz
|
ps
|
ps.gz
|
pdf
|
figures
4. Computation of Cohomology Operations on Finite Simplicial Complexes
-
R. Gonzalez-Diaz and P. Real, 83-93
abstract
|
dvi
|
dvi.gz
|
ps
|
ps.gz
|
pdf
5. Some Geometric Perspectives in Concurrency Theory
-
Eric Goubault, 95-136
abstract
|
dvi
|
dvi.gz
|
ps
|
ps.gz
|
pdf
|
figures
6. On the Geometry of Intuitionistic S4 Proofs
-
Jean Goubault-Larrecq and Eric Goubault, 137-209
abstract
|
dvi
|
dvi.gz
|
ps
|
ps.gz
|
pdf
|
figures
7. Ordinary and directed combinatorial homotopy,
applied to image analysis and concurrency
-
Marco Grandis, 211-231
abstract
|
dvi
|
dvi.gz
|
ps
|
ps.gz
|
pdf
|
figures
8. Computing Homology
-
Tomasz Kaczynski, Konstantin Mischaikow and Marian Mrozek, 233-256
abstract
|
dvi
|
dvi.gz
|
ps
|
ps.gz
|
pdf
9. State spaces and dipaths up to dihomotopy
-
Martin Raussen, 257-280
abstract
|
dvi
|
dvi.gz
|
ps
|
ps.gz
|
pdf
|
figures
[Aims and Scope |
Editors |
For Editors |
For Authors |
Subscriptions |
Related |
Author index]
|
