scientific article; zbMATH DE number 1924514
From MaRDI portal
Publication:4707052
zbMath1022.18009MaRDI QIDQ4707052
Publication date: 5 June 2003
Full work available at URL: https://eudml.org/doc/122928
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Simplicial sets and complexes in algebraic topology (55U10) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items
Varieties of Cubical Sets ⋮ A synthetic version of Lie's second theorem ⋮ Languages of higher-dimensional automata ⋮ Unnamed Item ⋮ Cubical models of higher categories without connections ⋮ The Hurewicz theorem for cubical homology ⋮ Homology groups of cubical sets ⋮ Surface holonomy for non-Abelian 2-bundles via double groupoids ⋮ Levels in the toposes of simplicial sets and cubical sets ⋮ Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories ⋮ The uniform homotopy category ⋮ Homology for higher-rank graphs and twisted \(C^*\)-algebras ⋮ Unnamed Item ⋮ Weak morphisms of higher dimensional automata ⋮ Cubical $(\omega,p)$-categories ⋮ Combinatorics of labelling in higher-dimensional automata ⋮ Symmetric cubical sets ⋮ Cubical version of combinatorial differential forms ⋮ Unnamed Item ⋮ Formal Relationships Between Geometrical and Classical Models for Concurrency ⋮ Cubical model categories and quasi-categories ⋮ Crossed Complexes and Higher Homotopy Groupoids as Noncommutative Tools for Higher Dimensional Local-to-Global Problems ⋮ Homology groups of cubical sets with connections ⋮ Trace spaces in a pre-cubical complex ⋮ Infinite series of quaternionic 1-vertex cube complexes, the doubling construction, and explicit cubical Ramanujan complexes ⋮ A co-reflection of cubical sets into simplicial sets with applications to model structures ⋮ Induced model structures for higher categories ⋮ Cubical approximation for directed topology. I
