Updating \(\leqslant, <\)-chains (Q294886): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+P05
@@ Property / Mathematics Subject Classification ID: 68P05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+R10
@@ Property / Mathematics Subject Classification ID: 68R10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6594160
@@ Property / zbMATH DE Number: 6594160 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algorithms
@@ Property / zbMATH Keywords: algorithms / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+data structures
@@ Property / zbMATH Keywords: data structures / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+efficient reasoning
@@ Property / zbMATH Keywords: efficient reasoning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+temporal reasoning
@@ Property / zbMATH Keywords: temporal reasoning / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3097395
@@ Property / cites work: Q3097395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient algorithms for qualitative reasoning about time
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:294886