Dyck Algebras, Interval Temporal Logic, and Posets of Intervals (Q2827488): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Structure of the Loday-Ronco Hopf algebra of trees.
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Actions and Events in Interval Temporal Logic
@@ Property / cites work: Actions and Events in Interval Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4400936
@@ Property / cites work: Q4400936 / rank @@
+Normal rank
@@ Property / cites work @@
+Projective and injective distributive lattices
@@ Property / cites work: Projective and injective distributive lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Skew quasisymmetric Schur functions and noncommutative Schur functions
+Normal rank
@@ Property / cites work @@
+Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
+Normal rank
@@ Property / cites work @@
+Interval MV-algebras and generalizations.
@@ Property / cites work: Interval MV-algebras and generalizations. / rank @@
+Normal rank
@@ Property / cites work @@
+Modal companions of intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Dyck path enumeration
@@ Property / cites work: Dyck path enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685088
@@ Property / cites work: Q5685088 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2959961
@@ Property / cites work: Q2959961 / rank @@
+Normal rank
@@ Property / cites work @@
+Lattices of paths: representation theory and valutions
+Normal rank
@@ Property / cites work @@
+Enumeration of edges in some lattices of paths
@@ Property / cites work: Enumeration of edges in some lattices of paths / rank @@
+Normal rank
@@ Property / cites work @@
+Enumeration of chains and saturated chains in Dyck lattices.
+Normal rank
@@ Property / cites work @@
+Lattices of lattice paths
@@ Property / cites work: Lattices of lattice paths / rank @@
+Normal rank
@@ Property / cites work @@
+A Road Map of Interval Temporal Logics and Duration Calculi
+Normal rank
@@ Property / cites work @@
+A propositional modal logic of time intervals
@@ Property / cites work: A propositional modal logic of time intervals / rank @@
+Normal rank
@@ Property / cites work @@
+The Undecidability of the Logic of Subintervals
@@ Property / cites work: The Undecidability of the Logic of Subintervals / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial Structure of the Faces of the<i>n</i>-Cube
+Normal rank
@@ Property / cites work @@
+A Heyting algebra on Dyck paths of type \(A\) and \(B\)
+Normal rank
@@ Property / cites work @@
+Logic on the<i>n</i>-cube
@@ Property / cites work: Logic on the<i>n</i>-cube / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311049
@@ Property / cites work: Q5311049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4093495
@@ Property / cites work: Q4093495 / rank @@
+Normal rank