Logical aspects of Cayley-graphs: the group case (Q705541): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2004.06.002
+Normal rank
@@ Property / OpenAlex ID @@
+W1976522318
@@ Property / OpenAlex ID: W1976522318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4871775
@@ Property / cites work: Q4871775 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3836521
@@ Property / cites work: Q3836521 / rank @@
+Normal rank
@@ Property / cites work @@
+Domino Treewidth
@@ Property / cites work: Domino Treewidth / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic characterization of groups with soluble word problem
+Normal rank
@@ Property / cites work @@
+On the regular structure of prefix rewriting
@@ Property / cites work: On the regular structure of prefix rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818835
@@ Property / cites work: Q4818835 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708567
@@ Property / cites work: Q4708567 / rank @@
+Normal rank
@@ Property / cites work @@
+On infinite transition graphs having a decidable monadic theory
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs, II: Infinite graphs of bounded width
+Normal rank
@@ Property / cites work @@
+The monadic second order logic of graphs. VI: On several representations of graphs by relational structures
+Normal rank
@@ Property / cites work @@
+Upper bounds to the clique width of graphs
@@ Property / cites work: Upper bounds to the clique width of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+CAYLEY GRAPHS OF VIRTUALLY FREE GROUPS
@@ Property / cites work: CAYLEY GRAPHS OF VIRTUALLY FREE GROUPS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994461
@@ Property / cites work: Q3994461 / rank @@
+Normal rank
@@ Property / cites work @@
+A NOTE ON THE EXISTENTIAL THEORY OF EQUATIONS IN PLAIN GROUPS
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Existential and positive theories of equations in graph products
+Normal rank
@@ Property / cites work @@
+Q4947393
@@ Property / cites work: Q4947393 / rank @@
+Normal rank
@@ Property / cites work @@
+Some results on tree decomposition of graphs
@@ Property / cites work: Some results on tree decomposition of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Cutting up graphs
@@ Property / cites work: Cutting up graphs / rank @@
+Normal rank
@@ Property / cites work @@
+The accessibility of finitely presented groups
@@ Property / cites work: The accessibility of finitely presented groups / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
+Normal rank
@@ Property / cites work @@
+The computational complexity of logical theories
@@ Property / cites work: The computational complexity of logical theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666827
@@ Property / cites work: Q3666827 / rank @@
+Normal rank
@@ Property / cites work @@
+Groups and Simple Languages
@@ Property / cites work: Groups and Simple Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Group presentations, formal languages and characterizations of one- counter groups
+Normal rank
@@ Property / cites work @@
+Subgroups of finitely presented groups
@@ Property / cites work: Subgroups of finitely presented groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418673
@@ Property / cites work: Q4418673 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132506
@@ Property / cites work: Q4132506 / rank @@
+Normal rank
@@ Property / cites work @@
+On Dehn's algorithm
@@ Property / cites work: On Dehn's algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145882
@@ Property / cites work: Q4145882 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4750010
@@ Property / cites work: Q4750010 / rank @@
+Normal rank
@@ Property / cites work @@
+DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP
+Normal rank
@@ Property / cites work @@
+Q4090322
@@ Property / cites work: Q4090322 / rank @@
+Normal rank
@@ Property / cites work @@
+Groups, the theory of ends, and context-free languages
+Normal rank
@@ Property / cites work @@
+The theory of ends, pushdown automata, and second-order logic
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphism groups of context-free graphs
@@ Property / cites work: Automorphism groups of context-free graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Canonical representatives and equations in hyperbolic groups
+Normal rank
@@ Property / cites work @@
+Graph minors. II. Algorithmic aspects of tree-width
+Normal rank
@@ Property / cites work @@
+Groups and graphs: Groups acting on trees, ends, and cancellation diagrams
+Normal rank
@@ Property / cites work @@
+Q3806816
@@ Property / cites work: Q3806816 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3692864
@@ Property / cites work: Q3692864 / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of the models of decidable monadic theories of graphs
+Normal rank
@@ Property / cites work @@
+An effective version of Stallings' theorem in the case of context-free groups
+Normal rank
@@ Property / cites work @@
+Q4818836
@@ Property / cites work: Q4818836 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3341041
@@ Property / cites work: Q3341041 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank
@@ Property / cites work @@
+Q4113396
@@ Property / cites work: Q4113396 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5651924
@@ Property / cites work: Q5651924 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic dynamic logic is strictly weaker than dynamic logic
+Normal rank
@@ Property / cites work @@
+Q4362730
@@ Property / cites work: Q4362730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353626
@@ Property / cites work: Q4353626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3491608
@@ Property / cites work: Q3491608 / rank @@
+Normal rank
@@ Property / cites work @@
+Vertex-transitive graphs and accessibility
@@ Property / cites work: Vertex-transitive graphs and accessibility / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs and groups with tree-like properties
@@ Property / cites work: Graphs and groups with tree-like properties / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:705541