Definability of Recursive Predicates in the Induced Subgraph Order (Q5224502): 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.1007/978-3-662-54069-5_16
+Normal rank
@@ Property / OpenAlex ID @@
+W2557506139
@@ Property / OpenAlex ID: W2557506139 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Foundations of Proof Complexity
@@ Property / cites work: Logical Foundations of Proof Complexity / 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 @@
+Definability in substructure orderings. IV: Finite lattices
+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. II: Finite ordered sets
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856172
@@ Property / cites work: Q4856172 / 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 @@
+Definability in First Order Theories of Graph Orderings
+Normal rank
@@ Property / cites work @@
+Definability in the substructure ordering of simple graphs
+Normal rank