Cyclic Extensions of Order Varieties (Q5415613): Difference between revisions

@@ Property / cites work @@
+Non-commutative logic. I: The multiplicative fragment
+Normal rank
@@ Property / cites work @@
+A compendium of problems complete for symmetric logarithmic space
+Normal rank
@@ Property / cites work @@
+Non-commutative proof construction: a constraint-based approach
+Normal rank
@@ Property / cites work @@
+Cyclic ordering is NP-complete
@@ Property / cites work: Cyclic ordering is NP-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3328583
@@ Property / cites work: Q3328583 / rank @@
+Normal rank
@@ Property / cites work @@
+Une théorie combinatoire des séries formelles
@@ Property / cites work: Une théorie combinatoire des séries formelles / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric space-bounded computation
@@ Property / cites work: Symmetric space-bounded computation / rank @@
+Normal rank
@@ Property / cites work @@
+Non-commutative logic. III: Focusing proofs.
@@ Property / cites work: Non-commutative logic. III: Focusing proofs. / rank @@
+Normal rank
@@ Property / cites work @@
+Partial and complete cyclic orders
@@ Property / cites work: Partial and complete cyclic orders / rank @@
+Normal rank
@@ Property / cites work @@
+Q4918387
@@ Property / cites work: Q4918387 / rank @@
+Normal rank
@@ Property / cites work @@
+Cyclically ordered sets
@@ Property / cites work: Cyclically ordered sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Undirected ST-connectivity in log-space
@@ Property / cites work: Undirected ST-connectivity in log-space / rank @@
+Normal rank
@@ Property / cites work @@
+Non-commutative logic II: sequent calculus and phase semantics
+Normal rank
@@ Property / cites work @@
+Q4218945
@@ Property / cites work: Q4218945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4004146
@@ Property / cites work: Q4004146 / rank @@
+Normal rank