Deciding Equations in the Time Warp Algebra (Q6151556): Difference between revisions

@@ Property / OpenAlex ID @@
+W4391694972
@@ Property / OpenAlex ID: W4391694972 / rank @@
+Normal rank
@@ Property / cites work @@
+First steps in synthetic guarded domain theory: step-indexing in the topos of trees
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again
+Normal rank
@@ Property / cites work @@
+Synchronous Kahn networks
@@ Property / cites work: Synchronous Kahn networks / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroups in complete lattices. Quantales, modules and related topics
+Normal rank
@@ Property / cites work @@
+Towards a Formal Theory of Graded Monads
@@ Property / cites work: Towards a Formal Theory of Graded Monads / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive residuated frames and generalized bunched implication algebras
+Normal rank
@@ Property / cites work @@
+The structure of generalized BI-algebras and weakening relation algebras
+Normal rank
@@ Property / cites work @@
+Combining effects and coeffects via grading
@@ Property / cites work: Combining effects and coeffects via grading / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
+Normal rank
@@ Property / cites work @@
+Duality for double quasioperator algebras via their canonical extensions
+Normal rank
@@ Property / cites work @@
+Bounded Linear Types in a Resource Semiring
@@ Property / cites work: Bounded Linear Types in a Resource Semiring / rank @@
+Normal rank
@@ Property / cites work @@
+A Generalized Modality for Recursion
@@ Property / cites work: A Generalized Modality for Recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168953
@@ Property / cites work: Q4168953 / rank @@
+Normal rank
@@ Property / cites work @@
+On the elementary theory of linear order
@@ Property / cites work: On the elementary theory of linear order / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated Structures in Algebra and Logic
@@ Property / cites work: Residuated Structures in Algebra and Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Involutive Quantaloid of Completely Distributive Lattices
+Normal rank
@@ Property / cites work @@
+Time warps, from algebra to algorithms
@@ Property / cites work: Time warps, from algebra to algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6151556