Q4683860 (Q4683860): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954438
@@ Property / cites work: Q4954438 / rank @@
+Normal rank
@@ Property / cites work @@
+The first-order theory of lexicographic path orderings is undecidable
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5315023
@@ Property / cites work: Q5315023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703808
@@ Property / cites work: Q2703808 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of generalized recursion theory
@@ Property / cites work: Fundamentals of generalized recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Some simplified NP-complete graph problems
@@ Property / cites work: Some simplified NP-complete graph problems / rank @@
+Normal rank
@@ Property / cites work @@
+Finite model theory and its applications.
@@ Property / cites work: Finite model theory and its applications. / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of linear inequalities in graph homomorphism densities
+Normal rank
@@ Property / cites work @@
+Q4828516
@@ Property / cites work: Q4828516 / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental Descriptive Complexity
@@ Property / cites work: Experimental Descriptive Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in substructure orderings. I: Finite semilattices
+Normal rank
@@ Property / cites work @@
+Definability in substructure orderings. III: Finite distributive lattices
+Normal rank
@@ Property / cites work @@
+Definability in substructure orderings. IV: Finite lattices
+Normal rank
@@ Property / cites work @@
+Definability in substructure orderings. II: Finite ordered sets
+Normal rank
@@ Property / cites work @@
+Q5278312
@@ Property / cites work: Q5278312 / rank @@
+Normal rank
@@ Property / cites work @@
+A Gandy Theorem for Abstract Structures and Applications to First-Order Definability
+Normal rank
@@ Property / cites work @@
+Definability in the Subword Order
@@ Property / cites work: Definability in the Subword Order / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in the embeddability ordering of finite directed graphs
+Normal rank
@@ Property / cites work @@
+Theories of orders on the set of words
@@ Property / cites work: Theories of orders on the set of words / rank @@
+Normal rank
@@ Property / cites work @@
+Random graphons and a weak Positivstellensatz for graphs
+Normal rank
@@ Property / cites work @@
+Concatenation as a basis for arithmetic
@@ Property / cites work: Concatenation as a basis for arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in First Order Theories of Graph Orderings
+Normal rank
@@ Property / cites work @@
+On 3-Hypergraphs with Forbidden 4-Vertex Configurations
+Normal rank
@@ Property / cites work @@
+Graph minors. XX: Wagner's conjecture
@@ Property / cites work: Graph minors. XX: Wagner's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Definability of Recursive Predicates in the Induced Subgraph Order
+Normal rank
@@ Property / cites work @@
+Definability in the substructure ordering of simple graphs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4683860