An optimal construction of Hanf sentences (Q420856): Difference between revisions

@@ Property / OpenAlex ID @@
+W2963528658
@@ Property / OpenAlex ID: W2963528658 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5487
@@ Property / arXiv ID: 1105.5487 / rank @@
+Normal rank
@@ Property / cites work @@
+Muller message-passing automata and logics
@@ Property / cites work: Muller message-passing automata and logics / rank @@
+Normal rank
@@ Property / cites work @@
+Message-passing automata are expressively equivalent to EMSO logic
+Normal rank
@@ Property / cites work @@
+Model Theory Makes Formulas Large
@@ Property / cites work: Model Theory Makes Formulas Large / rank @@
+Normal rank
@@ Property / cites work @@
+First-order queries on structures of bounded degree are computable with constant delay
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+On monadic NP vs monadic co-NP
@@ Property / cites work: On monadic NP vs monadic co-NP / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding first-order properties of locally tree-decomposable structures
+Normal rank
@@ Property / cites work @@
+The complexity of first-order and monadic second-order logic revisited
+Normal rank
@@ Property / cites work @@
+Q3666827
@@ Property / cites work: Q3666827 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3504344
@@ Property / cites work: Q3504344 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces
+Normal rank
@@ Property / cites work @@
+Monadic second-order logic over rectangular pictures and recognizability by tiling systems
+Normal rank
@@ Property / cites work @@
+Q5551141
@@ Property / cites work: Q5551141 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable first-order theories of one-step rewriting in trace monoids
+Normal rank
@@ Property / cites work @@
+First-order and counting theories of<i>ω</i>-automatic structures
+Normal rank
@@ Property / cites work @@
+Automatic structures of bounded degree revisited
@@ Property / cites work: Automatic structures of bounded degree revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Logics with counting and local properties
@@ Property / cites work: Logics with counting and local properties / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+A NORMAL FORM FOR FIRST-ORDER LOGIC OVER DOUBLY-LINKED DATA STRUCTURES
+Normal rank
@@ Property / cites work @@
+On the extending of models (I)
@@ Property / cites work: On the extending of models (I) / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphism of graphs of bounded valence can be tested in polynomial time
+Normal rank
@@ Property / cites work @@
+Q3836531
@@ Property / cites work: Q3836531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5284545
@@ Property / cites work: Q5284545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5833217
@@ Property / cites work: Q5833217 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Hereditary undecidability of some theories of finite structures
+Normal rank