Implicit definability and infinitary logic in finite model theory (Q4645216): Difference between revisions

@@ Property / Wikidata QID @@
+Q58215765
@@ Property / Wikidata QID: Q58215765 / rank @@
+Normal rank
@@ 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/3-540-60084-1_110
+Normal rank
@@ Property / OpenAlex ID @@
+W2134463605
@@ Property / OpenAlex ID: W2134463605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204028
@@ Property / cites work: Q3204028 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint logics, relational machines, and computational complexity
+Normal rank
@@ Property / cites work @@
+On Moschovakis closure ordinals
@@ Property / cites work: On Moschovakis closure ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Structure and complexity of relational queries
@@ Property / cites work: Structure and complexity of relational queries / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary logic and inductive definability over finite structures
+Normal rank
@@ Property / cites work @@
+Q4058132
@@ Property / cites work: Q4058132 / rank @@
+Normal rank
@@ Property / cites work @@
+On finite rigid structures
@@ Property / cites work: On finite rigid structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3758820
@@ Property / cites work: Q3758820 / rank @@
+Normal rank
@@ Property / cites work @@
+Upper and lower bounds for first order expressibility
+Normal rank
@@ Property / cites work @@
+Relational queries computable in polynomial time
@@ Property / cites work: Relational queries computable in polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Q3830533
@@ Property / cites work: Q3830533 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary logics and 0-1 laws
@@ Property / cites work: Infinitary logics and 0-1 laws / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary logic for computer science
@@ Property / cites work: Infinitary logic for computer science / rank @@
+Normal rank
@@ Property / cites work @@
+An analysis of fixed-point queries on binary trees
+Normal rank
@@ Property / cites work @@
+Relative complexity of checking and evaluating
@@ Property / cites work: Relative complexity of checking and evaluating / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4645216