Definability by programs in first-order structures (Q1171876): Difference between revisions

@@ Property / cites work @@
+Interpolation theorems for program schemata
@@ Property / cites work: Interpolation theorems for program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Program Schemes with Pushdown Stores
@@ Property / cites work: Program Schemes with Pushdown Stores / rank @@
+Normal rank
@@ Property / cites work @@
+An observation on time-storage trade off
@@ Property / cites work: An observation on time-storage trade off / rank @@
+Normal rank
@@ Property / cites work @@
+On Classes of Program Schemata
@@ Property / cites work: On Classes of Program Schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic properties of structures
@@ Property / cites work: Algorithmic properties of structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4074367
@@ Property / cites work: Q4074367 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized galois theory and its application to complexity
+Normal rank
@@ Property / cites work @@
+Q5625129
@@ Property / cites work: Q5625129 / rank @@
+Normal rank
@@ Property / cites work @@
+Program schemes, recursion schemes, and formal languages
+Normal rank
@@ Property / cites work @@
+Q3939207
@@ Property / cites work: Q3939207 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability by programs in first-order structures
+Normal rank
@@ Property / cites work @@
+On formalised computer programs
@@ Property / cites work: On formalised computer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in dynamic logic
@@ Property / cites work: Definability in dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4088800
@@ Property / cites work: Q4088800 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3966122
@@ Property / cites work: Q3966122 / rank @@
+Normal rank