A counterexample to Thiagarajan's conjecture on regular event structures (Q2186822): Difference between revisions

@@ Property / DOI @@
-.1016/j.jcss.2020.05.001
@@ Property / DOI: 10.1016/j.jcss.2020.05.001 / rank @@
-Normal rank
@@ Property / cites work @@
+The virtual Haken conjecture (with an appendix by Ian Agol, Daniel Groves and Jason Manning).
+Normal rank
@@ Property / cites work @@
+Q5371191
@@ Property / cites work: Q5371191 / rank @@
+Normal rank
@@ Property / cites work @@
+Geodesics in CAT(0) cubical complexes
@@ Property / cites work: Geodesics in CAT(0) cubical complexes / rank @@
+Normal rank
@@ Property / cites work @@
+Metric Ternary Distributive Semi-Lattices
@@ Property / cites work: Metric Ternary Distributive Semi-Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Context-free event domains are recognizable
@@ Property / cites work: Context-free event domains are recognizable / rank @@
+Normal rank
@@ Property / cites work @@
+Q3514516
@@ Property / cites work: Q3514516 / rank @@
+Normal rank
@@ Property / cites work @@
+Median algebras
@@ Property / cites work: Median algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding Topological Median Algebras in Products of Dendrons
+Normal rank
@@ Property / cites work @@
+Median graphs, parallelism and posets
@@ Property / cites work: Median graphs, parallelism and posets / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the domino problem
@@ Property / cites work: The undecidability of the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5116466
@@ Property / cites work: Q5116466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4720067
@@ Property / cites work: Q4720067 / rank @@
+Normal rank
@@ Property / cites work @@
+On the recognition problem for virtually special cube complexes
+Normal rank
@@ Property / cites work @@
+A counterexample to Thiagarajan's conjecture on regular event structures
+Normal rank
@@ Property / cites work @@
+-Safe Petri Nets and Special Cube Complexes
@@ Property / cites work: 1-Safe Petri Nets and Special Cube Complexes / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs of some CAT(0) complexes
@@ Property / cites work: Graphs of some CAT(0) complexes / rank @@
+Normal rank
@@ Property / cites work @@
+Nice Labeling Problem for Event Structures: A Counterexample
+Normal rank
@@ Property / cites work @@
+Diameters, centers, and approximating trees of delta-hyperbolicgeodesic spaces and graphs
+Normal rank
@@ Property / cites work @@
+On embeddings of CAT(0) cube complexes into products of trees via colouring their hyperplanes
+Normal rank
@@ Property / cites work @@
+Distance-preserving subgraphs of hypercubes
@@ Property / cites work: Distance-preserving subgraphs of hypercubes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3772406
@@ Property / cites work: Q3772406 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak hyperbolicity of cube complexes and quasi-arboreal groups
+Normal rank
@@ Property / cites work @@
+Special cube complexes
@@ Property / cites work: Special cube complexes / rank @@
+Normal rank
@@ Property / cites work @@
+A combination theorem for special cube complexes.
@@ Property / cites work: A combination theorem for special cube complexes. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4819371
@@ Property / cites work: Q4819371 / rank @@
+Normal rank
@@ Property / cites work @@
+Concrete domains
@@ Property / cites work: Concrete domains / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic aperiodic tile sets
@@ Property / cites work: Deterministic aperiodic tile sets / rank @@
+Normal rank
@@ Property / cites work @@
+The 4-way deterministic tiling problem is undecidable
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2005
@@ Property / cites work: Mathematical Foundations of Computer Science 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3890733
@@ Property / cites work: Q3890733 / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of ends, pushdown automata, and second-order logic
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Transition systems, event structures, and unfoldings
+Normal rank
@@ Property / cites work @@
+Q3045269
@@ Property / cites work: Q3045269 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability and nonperiodicity for tilings of the plane
+Normal rank
@@ Property / cites work @@
+Event structures and trace monoids
@@ Property / cites work: Event structures and trace monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Ends of Group Pairs and Non-Positively Curved Cube Complexes
+Normal rank
@@ Property / cites work @@
+Connections between a concrete and an abstract model of concurrent systems
+Normal rank
@@ Property / cites work @@
+Q4738298
@@ Property / cites work: Q4738298 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic event structures and domains
@@ Property / cites work: Probabilistic event structures and domains / rank @@
+Normal rank
@@ Property / cites work @@
+Isometric embedding in products of complete graphs
+Normal rank
@@ Property / cites work @@
+Q5184417
@@ Property / cites work: Q5184417 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733435
@@ Property / cites work: Q4733435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete square complexes.
@@ Property / cites work: Complete square complexes. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4898825
@@ Property / cites work: Q4898825 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JCSS.2020.05.001
@@ Property / DOI: 10.1016/J.JCSS.2020.05.001 / rank @@
+Normal rank