The Landscape of Quantitative Algebraic Reasoning

Radu Mardare

doi:10.4204/EPTCS.428

The Landscape of Quantitative Algebraic Reasoning

Radu Mardare

Research output: Contribution to journal › Conference article › peer-review

Abstract

This article sketches the man theoretical ideas behind the concepts of quantitative algebras and quantitative equational logic, and provides an example showing how these concepts can be used in applications.

Original language	English
Pages (from-to)	8-12
Number of pages	14
Journal	Electronic Proceedings in Theoretical Computer Science
Volume	428
DOIs	https://doi.org/10.4204/EPTCS.428
Publication status	Published - 17 Sept 2025
Event	16th International Symposium on Games, Automata, Logics, and Formal Verification 2025 - Valletta, Malta Duration: 16 Sept 2025 → 17 Sept 2025

Access to Document

10.4204/EPTCS.428Licence: CC BY

Download pdf
© R. Mardare This work is licensed under the Creative Commons Attribution License.
Final published version, 72.5 KBLicence: CC BY

https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?GandALF25Licence: CC BY

Cite this

@article{2f1f68d8a56c469288b222e53cc8b99a,

title = "The Landscape of Quantitative Algebraic Reasoning",

abstract = "This article sketches the man theoretical ideas behind the concepts of quantitative algebras and quantitative equational logic, and provides an example showing how these concepts can be used in applications.",

author = "Radu Mardare",

year = "2025",

month = sep,

day = "17",

doi = "10.4204/EPTCS.428",

language = "English",

volume = "428",

pages = "8--12",

journal = "Electronic Proceedings in Theoretical Computer Science",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "16th International Symposium on Games, Automata, Logics, and Formal Verification 2025 ; Conference date: 16-09-2025 Through 17-09-2025",

}

TY - JOUR

T1 - The Landscape of Quantitative Algebraic Reasoning

AU - Mardare, Radu

PY - 2025/9/17

Y1 - 2025/9/17

N2 - This article sketches the man theoretical ideas behind the concepts of quantitative algebras and quantitative equational logic, and provides an example showing how these concepts can be used in applications.

AB - This article sketches the man theoretical ideas behind the concepts of quantitative algebras and quantitative equational logic, and provides an example showing how these concepts can be used in applications.

U2 - 10.4204/EPTCS.428

DO - 10.4204/EPTCS.428

M3 - Conference article

SN - 2075-2180

VL - 428

SP - 8

EP - 12

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

T2 - 16th International Symposium on Games, Automata, Logics, and Formal Verification 2025

Y2 - 16 September 2025 through 17 September 2025

ER -

The Landscape of Quantitative Algebraic Reasoning

Abstract

Access to Document

Fingerprint

Cite this