Constructions preserving evasiveness and collapsibility
From MaRDI portal
(Redirected from Publication:1817576)
Recommendations
- Construction of retractile proof structures
- A topological approach to evasiveness
- Conserving involution in residuated structures
- scientific article; zbMATH DE number 3861143
- Constructibility
- scientific article; zbMATH DE number 861308
- scientific article; zbMATH DE number 6149557
- Logic Based Program Synthesis and Transformation
- Towards directed collapsibility (research)
- A generalization of collapsible cases of circumscription
Cited in
(21)- Order complexes of noncomplemented lattices are nonevasive
- Simplicial simple-homotopy of flag complexes in terms of graphs
- Tight complexes in 3-space admit perfect discrete Morse functions
- Collapsibility of CAT(0) spaces
- Barycentric subdivisions of convex complexes are collapsible
- Knots in collapsible and non-collapsible balls
- Simplicial join via tensor product
- Discrete Morse theory and the homotopy type of clique graphs
- Subdivisions, Shellability, and collapsibility of products
- Cooperative games on simplicial complexes
- One-point reductions of finite spaces, \(h\)-regular CW-complexes and collapsibility
- scientific article; zbMATH DE number 6149557 (Why is no real title available?)
- Collapsing along monotone poset maps
- Strong homotopy types, nerves and collapses
- The smallest nonevasive graph property
- Collapses, products and LC manifolds
- Extremal examples of collapsible complexes and random discrete Morse theory
- Discrete Morse theory for manifolds with boundary
- Linear colorings of simplicial complexes and collapsing
- One-point suspensions and wreath products of polytopes and spheres
- Random discrete Morse theory and a new library of triangulations
This page was built for publication: Constructions preserving evasiveness and collapsibility
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1817576)
