Q5089232 (Q5089232): Difference between revisions

@@ Property / cites work @@
+The computational complexity of logical theories
@@ Property / cites work: The computational complexity of logical theories / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144688
@@ Property / cites work: Q5144688 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in substructure orderings. I: Finite semilattices
+Normal rank
@@ Property / cites work @@
+Q5278312
@@ Property / cites work: Q5278312 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5376657
@@ Property / cites work: Q5376657 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests
+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 \(h\)-quasiorder of labeled forests
+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 @@
+The Subtrace Order and Counting First-Order Logic
@@ Property / cites work: The Subtrace Order and Counting First-Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Languages ordered by the subword order
@@ Property / cites work: Languages ordered by the subword order / rank @@
+Normal rank
@@ Property / cites work @@
+Q3659988
@@ Property / cites work: Q3659988 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4608630
@@ Property / cites work: Q4608630 / rank @@
+Normal rank
@@ Property / cites work @@
+On Boolean combinations forming piecewise testable languages
+Normal rank
@@ Property / cites work @@
+Q4077455
@@ Property / cites work: Q4077455 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability of Recursive Predicates in the Induced Subgraph Order
+Normal rank
@@ Property / cites work @@
+Q4683860
@@ Property / cites work: Q4683860 / rank @@
+Normal rank