Geometric and topological methods in computer science (11th GETCO conference, 2022)
DOI10.1007/s41468-024-00195-4MaRDI QIDQ6645909
Martin Raussen, Eric Goubault, Marian Mrozek
Publication date: 29 November 2024
Published in: Journal of Applied and Computational Topology (Search for Journal in Brave)
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99) Simplicial sets and complexes in algebraic topology (55U10) Index theory for dynamical systems, Morse-Conley indices (37B30) Proceedings, conferences, collections, etc. pertaining to algebraic topology (55-06)
This page was built for publication: Geometric and topological methods in computer science (11th GETCO conference, 2022)
