Completeness of Finitely Weighted Kleene Algebra with Tests
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F24%3A00586993" target="_blank" >RIV/67985807:_____/24:00586993 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1007/978-3-031-62687-6_14" target="_blank" >https://doi.org/10.1007/978-3-031-62687-6_14</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-031-62687-6_14" target="_blank" >10.1007/978-3-031-62687-6_14</a>
Alternative languages
Result language
angličtina
Original language name
Completeness of Finitely Weighted Kleene Algebra with Tests
Original language description
Building on Ésik and Kuich’s completeness result for finitely weighted Kleene algebra, we establish relational and language completeness results for finitely weighted Kleene algebra with tests. Similarly as Ésik and Kuich, we assume that the finite semiring of weights is commutative, partially ordered and zero-bounded, but we also assume that it is integral. We argue that finitely weighted Kleene algebra with tests is a natural framework for equational reasoning about weighted programs in cases where an upper bound on admissible weights is assumed.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA22-16111S" target="_blank" >GA22-16111S: GRADLACT: Graded Logics of Action</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2024
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Logic, Language, Information, and Computation
ISBN
978-3-031-62686-9
ISSN
0302-9743
e-ISSN
—
Number of pages
15
Pages from-to
210-224
Publisher name
Springer
Place of publication
Cham
Event location
Bern
Event date
Jun 10, 2024
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
001283825600014