A NORMAL FORM FOR FIRST-ORDER LOGIC OVER DOUBLY-LINKED DATA STRUCTURES (Q3532152): Difference between revisions

@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+Invariance properties of RAMs and linear time
@@ Property / cites work: Invariance properties of RAMs and linear time / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Time Algorithms and NP-Complete Problems
@@ Property / cites work: Linear Time Algorithms and NP-Complete Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Machine-Independent Characterizations and Complete Problems for Deterministic Linear Time
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3929722
@@ Property / cites work: Q3929722 / rank @@
+Normal rank