Geometric and topological methods in computer science (11th GETCO conference, 2022)

DOI10.1007/S41468-024-00195-4MaRDI QIDQ6645909zbMATH OpenFDO

Authors Éric Goubault, Marian Mrozek, Martin Raussen

Publication date 29 November 2024

Published in Journal of Applied and Computational Topology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S41468-024-00195-4

Mathematics Subject Classification ID

Index theory for dynamical systems, Morse-Conley indices (37B30) Proceedings, conferences, collections, etc. pertaining to algebraic topology (55-06) Homotopy theory (55P99) Simplicial sets and complexes in algebraic topology (55U10) 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)

This page was built for publication: Geometric and topological methods in computer science (11th GETCO conference, 2022)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6645909)