Saved in:
| Main Authors: | Ashale, Tekalign Regasa, Abebe, Girum Aklilu, Venkateswarlu, Kolluru |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2402.01906 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Autometrized Lattice Ordered Monoids
by: Ashale, Tekalign Regasa, et al.
Published: (2024)
by: Ashale, Tekalign Regasa, et al.
Published: (2024)
Geometry of Autometrized Lattice Ordered Monoids
by: Ashale, Tekalign Regasa, et al.
Published: (2024)
by: Ashale, Tekalign Regasa, et al.
Published: (2024)
Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
by: Milosavljevic, Aleksandar, et al.
Published: (2022)
by: Milosavljevic, Aleksandar, et al.
Published: (2022)
Monoid Structures on Indexed Containers
by: De Pascalis, Michele, et al.
Published: (2025)
by: De Pascalis, Michele, et al.
Published: (2025)
Enumeration of Finite Distance Monoids
by: Luo, Yunjie, et al.
Published: (2025)
by: Luo, Yunjie, et al.
Published: (2025)
A Model Companion for Abelian Lattice-Ordered Groups with a Valuation
by: Stokes-Waters, John
Published: (2026)
by: Stokes-Waters, John
Published: (2026)
Monoidal Width
by: Di Lavore, Elena, et al.
Published: (2022)
by: Di Lavore, Elena, et al.
Published: (2022)
A Monoidal View on Fixpoint Checks
by: Baldan, Paolo, et al.
Published: (2023)
by: Baldan, Paolo, et al.
Published: (2023)
String Diagrams for Monoidal Categories, in Rocq
by: Pous, Damien
Published: (2026)
by: Pous, Damien
Published: (2026)
Tape Diagrams for Monoidal Monads
by: Bonchi, Filippo, et al.
Published: (2025)
by: Bonchi, Filippo, et al.
Published: (2025)
Coinductive Streams in Monoidal Categories
by: Di Lavore, Elena, et al.
Published: (2022)
by: Di Lavore, Elena, et al.
Published: (2022)
Terminating Hybrid Tableaus for Ordered Models
by: Nishimura, Yuki
Published: (2025)
by: Nishimura, Yuki
Published: (2025)
Locality in Residuated-Lattice Structures
by: Carr, James
Published: (2025)
by: Carr, James
Published: (2025)
Monoidal Context Theory
by: Román, Mario
Published: (2024)
by: Román, Mario
Published: (2024)
Examples and Nonexamples of Distal Metric Structures
by: Anderson, Aaron, et al.
Published: (2025)
by: Anderson, Aaron, et al.
Published: (2025)
Monoidal categories graded by partial commutative monoids
by: Earnshaw, Matthew, et al.
Published: (2026)
by: Earnshaw, Matthew, et al.
Published: (2026)
String Diagrams for Closed Symmetric Monoidal Categories
by: Reader, Callum, et al.
Published: (2025)
by: Reader, Callum, et al.
Published: (2025)
Interacting Monoidal Structures with Applications in Computing
by: Cranch, James, et al.
Published: (2024)
by: Cranch, James, et al.
Published: (2024)
Symmetric Monoidal Smash Products in Homotopy Type Theory
by: Ljungström, Axel
Published: (2024)
by: Ljungström, Axel
Published: (2024)
Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
by: Tiurin, Aleksei, et al.
Published: (2024)
by: Tiurin, Aleksei, et al.
Published: (2024)
Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
by: Lobbia, Gabriele, et al.
Published: (2024)
by: Lobbia, Gabriele, et al.
Published: (2024)
Program Logics via Distributive Monoidal Categories
by: Bonchi, Filippo, et al.
Published: (2025)
by: Bonchi, Filippo, et al.
Published: (2025)
Egorov ideals
by: Kwela, Adam
Published: (2023)
by: Kwela, Adam
Published: (2023)
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
by: Lyon, Tim S., et al.
Published: (2023)
by: Lyon, Tim S., et al.
Published: (2023)
Generically Computable Linear Orderings
by: Calvert, Wesley, et al.
Published: (2024)
by: Calvert, Wesley, et al.
Published: (2024)
sp-Homogeneous Linear Orderings
by: Calvert, Wesley, et al.
Published: (2025)
by: Calvert, Wesley, et al.
Published: (2025)
Monoidal weak omega-categories as models of a type theory
by: Benjamin, Thibaut
Published: (2021)
by: Benjamin, Thibaut
Published: (2021)
PFA and the definability of the nonstationary ideal
by: Hoffelner, Stefan, et al.
Published: (2023)
by: Hoffelner, Stefan, et al.
Published: (2023)
Monoidal Symmetric Models
by: Basak, Dianthe
Published: (2024)
by: Basak, Dianthe
Published: (2024)
Monoidal bicategories, differential linear logic, and analytic functors
by: Fiore, M., et al.
Published: (2024)
by: Fiore, M., et al.
Published: (2024)
Complete Test Suites for Automata in Monoidal Closed Categories
by: Kocsis, Bálint, et al.
Published: (2024)
by: Kocsis, Bálint, et al.
Published: (2024)
Scott Spectral Gaps are Bounded for Linear Orderings
by: Gonzalez, David, et al.
Published: (2024)
by: Gonzalez, David, et al.
Published: (2024)
Stably Embedded Pairs of Ordered Abelian Groups
by: Hils, Martin, et al.
Published: (2023)
by: Hils, Martin, et al.
Published: (2023)
Term Ordering Diagrams
by: Hajdu, Márton, et al.
Published: (2025)
by: Hajdu, Márton, et al.
Published: (2025)
Saturated ideals from Laver collapses
by: Eskew, Monroe
Published: (2024)
by: Eskew, Monroe
Published: (2024)
On ideals related to Laver and Miller trees
by: Cieślak, Aleksander, et al.
Published: (2023)
by: Cieślak, Aleksander, et al.
Published: (2023)
Comparing forcing approaches to dense ideals
by: Eskew, Monroe
Published: (2025)
by: Eskew, Monroe
Published: (2025)
Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
by: Hartonas, Chrysafis
Published: (2021)
by: Hartonas, Chrysafis
Published: (2021)
On the Metric Temporal Logic for Continuous Stochastic Processes
by: Ikeda, Mitsumasa, et al.
Published: (2023)
by: Ikeda, Mitsumasa, et al.
Published: (2023)
Isomorphic Subtypes in a Finite Generalized Ordered Type
by: Joseph, Jean S.
Published: (2025)
by: Joseph, Jean S.
Published: (2025)
Similar Items
-
Autometrized Lattice Ordered Monoids
by: Ashale, Tekalign Regasa, et al.
Published: (2024) -
Geometry of Autometrized Lattice Ordered Monoids
by: Ashale, Tekalign Regasa, et al.
Published: (2024) -
Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
by: Milosavljevic, Aleksandar, et al.
Published: (2022) -
Monoid Structures on Indexed Containers
by: De Pascalis, Michele, et al.
Published: (2025) -
Enumeration of Finite Distance Monoids
by: Luo, Yunjie, et al.
Published: (2025)