Deciding Equations in the Time Warp Algebra
From MaRDI portal
Publication:6151556
DOI10.46298/lmcs-20(1:8)2024arXiv2302.04668v4OpenAlexW4391694972MaRDI QIDQ6151556
Samuel J. van Gool, Adrien Guatto, Simon Santschi, George Metcalfe
Publication date: 11 March 2024
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2302.04668v4
programming languagesuniversal algebratype systemsgraded modalitiesresiduated latticesdecision procedures
Cites Work
- Unnamed Item
- The structure of generalized BI-algebras and weakening relation algebras
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
- Propositional dynamic logic of regular programs
- Distributive residuated frames and generalized bunched implication algebras
- Semigroups in complete lattices. Quantales, modules and related topics
- From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again
- Duality for double quasioperator algebras via their canonical extensions
- Time warps, from algebra to algorithms
- Towards a Formal Theory of Graded Monads
- Synchronous Kahn networks
- Combining effects and coeffects via grading
- THE STRUCTURE OF RESIDUATED LATTICES
- First steps in synthetic guarded domain theory: step-indexing in the topos of trees
- Quantales and (noncommutative) linear logic
- The Involutive Quantaloid of Completely Distributive Lattices
- A Generalized Modality for Recursion
- Bounded Linear Types in a Resource Semiring
- On the elementary theory of linear order
- Residuated Structures in Algebra and Logic
This page was built for publication: Deciding Equations in the Time Warp Algebra