Cover Image

A Theory of Conversion Relations for Prefixed Units of Measure

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Widemann, Baltasar Trancón y, Lepper, Markus
Format:	Preprint
Published:	2022
Subjects:	Programming Languages Discrete Mathematics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Critical Semantic Properties of Music Notation Datasets
by: Lepper, Markus, et al.
Published: (2024)

ALEA IACTA EST: A Declarative Domain-Specific Language for Manually Performable Random Experiments
by: Widemann, Baltasar Trancón y, et al.
Published: (2025)

Data Models of German Lute Tablature With TScore
by: Lepper, Markus, et al.
Published: (2024)

Härpfer's Extended Indispensability Algorithm in Z
by: Lepper, Markus, et al.
Published: (2025)

Probabilistic Interval Analysis of Unreliable Programs
by: Das, Dibyendu, et al.
Published: (2024)

A Second Soul: Celebrating the Many Languages of Programming -- Festschrift in Honor of Peter Thiemann's Sixtieth Birthday
by: Bieniusa, Annette, et al.
Published: (2024)

Mixed Unit Interval Bigraphs : A Characterization
by: Das, Ashok Kumar, et al.
Published: (2026)

Sequential composition of answer set programs
by: Antić, Christian
Published: (2021)

Automatic question generation for propositional logical equivalences
by: Yang, Yicheng, et al.
Published: (2024)

Some Fibonacci-Related Sequences
by: Cloitre, Benoit, et al.
Published: (2023)

Density Measures for Language Generation
by: Kleinberg, Jon, et al.
Published: (2025)

Automatic Abelian Complexities of Parikh-Collinear Fixed Points
by: Rigo, Michel, et al.
Published: (2024)

Prefix-bounded matrices
by: Borsik, Nóra A., et al.
Published: (2025)

Finding Minimal Clusters in st-DAGs
by: Vogl, Ulrich, et al.
Published: (2026)

Conditional Separation as a Binary Relation. A Coq Assisted Proof
by: Chancelier, Jean-Philippe, et al.
Published: (2021)

An 'Experimental Mathematics' Approach to Stolarsky Interspersions via Automata Theory
by: Shallit, Jeffrey
Published: (2025)

Near-Optimal Constructive Bounds for $\ell_2$ Prefix Discrepancy and Steinitz Problems via Affine Spectral Independence
by: Dutta, Kunal, et al.
Published: (2026)

A Divide and Conquer Algorithm for Deciding Group Cellular Automata Dynamics
by: Castronuovo, Niccolo', et al.
Published: (2025)

A New Notion of Regularity: Finite State Automata Accepting Graphs
by: Meeres, Yvo Ad
Published: (2024)

Number of Subgraphs and Their Converses in Tournaments and New Digraph Polynomials
by: Ai, Jiangdong, et al.
Published: (2024)

The Narayana Morphism and Related Words
by: Shallit, Jeffrey
Published: (2025)

Graph Theory
by: Gilbert, Jesse D.
Published: (2011)

Unbounded length minimal synchronizing words for quantum channels over qutrits
by: Kjos-Hanssen, Bjørn, et al.
Published: (2026)

Theory of Stochastic Drift
by: Kötzing, Timo
Published: (2024)

Modular Decomposition of Hierarchical Finite State Machines
by: Biggar, Oliver, et al.
Published: (2021)

Decidability and Characterization of Expansivity for Group Cellular Automata
by: Castronuovo, Niccolo', et al.
Published: (2025)

Algebraic Characterization of Reversible First Degree Cellular Automata over $\mathbb{Z}_d$
by: J., Baby C., et al.
Published: (2026)

Persistent Permutability in Choice Petri Nets
by: Best, Eike, et al.
Published: (2026)

Reducibility among NP-Hard graph problems and boundary classes
by: Hassan, Syed Mujtaba, et al.
Published: (2024)

Counting Polyominoes in a Rectangle b x h
by: Marin, Louis
Published: (2024)

Differential Tree Automata
by: Manssour, Rida Ait El, et al.
Published: (2024)

Self-descriptive Sequences directed by two Periodic Sequences
by: Akiyama, Shigeki, et al.
Published: (2024)

On a Problem of Ramsey Theory
by: Frasser, Carlos E.
Published: (2024)

Relational Algebras for Subset Selection and Optimisation
by: Pratten, David Robert, et al.
Published: (2025)

A Language-Theoretic Approach to the Heapability of Signed Permutations
by: Istrate, Gabriel
Published: (2024)

Using Graph Theory to Derive Inequalities for the Bell Numbers
by: Hertz, Alain, et al.
Published: (2021)

From the Finite to the Infinite: Sharper Asymptotic Bounds on Norin's Conjecture via SAT
by: Kirchweger, Markus, et al.
Published: (2025)

Cube Height, Cube Width and Related Extremal Problems for Posets
by: Bastide, Paul, et al.
Published: (2025)

Relation between broadcast domination and multipacking numbers on chordal and other hyperbolic graphs
by: Das, Sandip, et al.
Published: (2023)

Computation of Graph Polynomials via Tree Decomposition: Theory, Algorithms, and Python Implementation
by: Bafna, Mehul, et al.
Published: (2025)