Logics of Finite Hankel Rank (Q2947177): Difference between revisions

@@ Property / author @@
+Johann A. Makowsky
@@ Property / author: Johann A. Makowsky / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2194181321
@@ Property / OpenAlex ID: W2194181321 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02507
@@ Property / arXiv ID: 1512.02507 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714043
@@ Property / cites work: Q3714043 / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for abstract model theory
@@ Property / cites work: Axioms for abstract model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Realizations by stochastic finite automata
@@ Property / cites work: Realizations by stochastic finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Some useful preservation theorems
@@ Property / cites work: Some useful preservation theorems / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+Fifty years of the spectrum problem: survey and new results
+Normal rank
@@ Property / cites work @@
+Q4298571
@@ Property / cites work: Q4298571 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5544276
@@ Property / cites work: Q5544276 / rank @@
+Normal rank
@@ Property / cites work @@
+Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
+Normal rank
@@ Property / cites work @@
+Persistent and invariant formulas relative to theories of higher order
+Normal rank
@@ Property / cites work @@
+The first order properties of products of algebraic systems
+Normal rank
@@ Property / cites work @@
+Q3118380
@@ Property / cites work: Q3118380 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection positivity, rank connectivity, and homomorphism of graphs
+Normal rank
@@ Property / cites work @@
+Q3346385
@@ Property / cites work: Q3346385 / rank @@
+Normal rank
@@ Property / cites work @@
+Evaluations of Graph Polynomials
@@ Property / cites work: Evaluations of Graph Polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035693
@@ Property / cites work: Q4035693 / rank @@
+Normal rank
@@ Property / cites work @@
+Modest theory of short chains. I
@@ Property / cites work: Modest theory of short chains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Languages that Capture Complexity Classes
@@ Property / cites work: Languages that Capture Complexity Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Connection Matrices and the Definability of Graph Parameters
+Normal rank
@@ Property / cites work @@
+Q5569100
@@ Property / cites work: Q5569100 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of Finite Hankel Rank
@@ Property / cites work: Logics of Finite Hankel Rank / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness conditions for graph algebras over tropical semirings
+Normal rank
@@ Property / cites work @@
+Q5572332
@@ Property / cites work: Q5572332 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3113046
@@ Property / cites work: Q3113046 / rank @@
+Normal rank
@@ Property / cites work @@
+On Extensions of Elementary Logic
@@ Property / cites work: On Extensions of Elementary Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3447287
@@ Property / cites work: Q3447287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4899293
@@ Property / cites work: Q4899293 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing specification languages which admit initial semantics
+Normal rank
@@ Property / cites work @@
+Why Horn formulas matter in computer science: initial structures and generic examples
+Normal rank
@@ Property / cites work @@
+Q3216138
@@ Property / cites work: Q3216138 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364514
@@ Property / cites work: Q4364514 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic uses of the Feferman-Vaught theorem
@@ Property / cites work: Algorithmic uses of the Feferman-Vaught theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Logics capturing relativized complexity classes uniformly
+Normal rank
@@ Property / cites work @@
+On the expressive power of data dependencies
@@ Property / cites work: On the expressive power of data dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank