EMIS/ELibM Electronic Journals

Outdated Archival Version

These pages are not updated anymore. They reflect the state of 22 June 2005. For the current production of this journal, please refer to http://intlpress.com/HHA/.



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 | pic

2. Computing Linking Numbers of a Filtration

Herbert Edelsbrunner and Afra Zomorodian, 19-37

abstract | dvi | dvi.gz | ps | ps.gz | pdf | pic

3. Topological Deformation of Higher Dimensional Automata

Philippe Gaucher and Eric Goubault, 39-82

abstract | dvi | dvi.gz | ps | ps.gz | pdf | pic

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 | pic

6. On the Geometry of Intuitionistic S4 Proofs

Jean Goubault-Larrecq and Eric Goubault, 137-209

abstract | dvi | dvi.gz | ps | ps.gz | pdf | pic

7. Ordinary and directed combinatorial homotopy, applied to image analysis and concurrency

Marco Grandis, 211-231

abstract | dvi | dvi.gz | ps | ps.gz | pdf | pic

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 | pic


[Aims and Scope | Editors | For Editors | For Authors | Subscriptions | Mirrors | Related | Print version | Author index]

   

All Volumes

 

 
About the Journal:  

ELibM Journals

ELibM Home

EMIS Home

EMIS Mirrors