Buchumschlag

A Theory of Conversion Relations for Prefixed Units of Measure

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Widemann, Baltasar Trancón y, Lepper, Markus
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Programming Languages Discrete Mathematics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Critical Semantic Properties of Music Notation Datasets
von: Lepper, Markus, et al.
Veröffentlicht: (2024)

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

Data Models of German Lute Tablature With TScore
von: Lepper, Markus, et al.
Veröffentlicht: (2024)

Härpfer's Extended Indispensability Algorithm in Z
von: Lepper, Markus, et al.
Veröffentlicht: (2025)

Probabilistic Interval Analysis of Unreliable Programs
von: Das, Dibyendu, et al.
Veröffentlicht: (2024)

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

Mixed Unit Interval Bigraphs : A Characterization
von: Das, Ashok Kumar, et al.
Veröffentlicht: (2026)

Sequential composition of answer set programs
von: Antić, Christian
Veröffentlicht: (2021)

Automatic question generation for propositional logical equivalences
von: Yang, Yicheng, et al.
Veröffentlicht: (2024)

Some Fibonacci-Related Sequences
von: Cloitre, Benoit, et al.
Veröffentlicht: (2023)

Density Measures for Language Generation
von: Kleinberg, Jon, et al.
Veröffentlicht: (2025)

Automatic Abelian Complexities of Parikh-Collinear Fixed Points
von: Rigo, Michel, et al.
Veröffentlicht: (2024)

Prefix-bounded matrices
von: Borsik, Nóra A., et al.
Veröffentlicht: (2025)

Finding Minimal Clusters in st-DAGs
von: Vogl, Ulrich, et al.
Veröffentlicht: (2026)

Conditional Separation as a Binary Relation. A Coq Assisted Proof
von: Chancelier, Jean-Philippe, et al.
Veröffentlicht: (2021)

An 'Experimental Mathematics' Approach to Stolarsky Interspersions via Automata Theory
von: Shallit, Jeffrey
Veröffentlicht: (2025)

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

A Divide and Conquer Algorithm for Deciding Group Cellular Automata Dynamics
von: Castronuovo, Niccolo', et al.
Veröffentlicht: (2025)

A New Notion of Regularity: Finite State Automata Accepting Graphs
von: Meeres, Yvo Ad
Veröffentlicht: (2024)

Number of Subgraphs and Their Converses in Tournaments and New Digraph Polynomials
von: Ai, Jiangdong, et al.
Veröffentlicht: (2024)

The Narayana Morphism and Related Words
von: Shallit, Jeffrey
Veröffentlicht: (2025)

Graph Theory
von: Gilbert, Jesse D.
Veröffentlicht: (2011)

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

Theory of Stochastic Drift
von: Kötzing, Timo
Veröffentlicht: (2024)

Modular Decomposition of Hierarchical Finite State Machines
von: Biggar, Oliver, et al.
Veröffentlicht: (2021)

Decidability and Characterization of Expansivity for Group Cellular Automata
von: Castronuovo, Niccolo', et al.
Veröffentlicht: (2025)

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

Persistent Permutability in Choice Petri Nets
von: Best, Eike, et al.
Veröffentlicht: (2026)

Reducibility among NP-Hard graph problems and boundary classes
von: Hassan, Syed Mujtaba, et al.
Veröffentlicht: (2024)

Counting Polyominoes in a Rectangle b x h
von: Marin, Louis
Veröffentlicht: (2024)

Differential Tree Automata
von: Manssour, Rida Ait El, et al.
Veröffentlicht: (2024)

Self-descriptive Sequences directed by two Periodic Sequences
von: Akiyama, Shigeki, et al.
Veröffentlicht: (2024)

On a Problem of Ramsey Theory
von: Frasser, Carlos E.
Veröffentlicht: (2024)

Relational Algebras for Subset Selection and Optimisation
von: Pratten, David Robert, et al.
Veröffentlicht: (2025)

A Language-Theoretic Approach to the Heapability of Signed Permutations
von: Istrate, Gabriel
Veröffentlicht: (2024)

Using Graph Theory to Derive Inequalities for the Bell Numbers
von: Hertz, Alain, et al.
Veröffentlicht: (2021)

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

Cube Height, Cube Width and Related Extremal Problems for Posets
von: Bastide, Paul, et al.
Veröffentlicht: (2025)

Relation between broadcast domination and multipacking numbers on chordal and other hyperbolic graphs
von: Das, Sandip, et al.
Veröffentlicht: (2023)

Computation of Graph Polynomials via Tree Decomposition: Theory, Algorithms, and Python Implementation
von: Bafna, Mehul, et al.
Veröffentlicht: (2025)