Vytisknout
0584357 - ÚI 2025 CH eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor
Kleene Algebra of Weighted Programs With Domain.
Dynamic Logic. New Trends and Applications. Revised Selected Papers. Cham: Springer, 2024 - (Gierasimczuk, N.; Velázquez-Quesada, F.), s. 52-67. Lecture Notes in Computer Science, 14401. ISBN 978-3-031-51777-8. E-ISSN 1611-3349.
[DaLí 2023. International Workshop /5./. Tbilisi (GE), 15.09.2023-16.09.2023]
Grant CEP: GA ČR(CZ) GA22-16111S
Institucionální podpora: RVO:67985807
Klíčová slova: Kleene algebra with domain * Kleene algebra with tests * Program semantics * Weakest precondition calculus * Weighted programs
Trvalý link: https://hdl.handle.net/11104/0352276
Sedlár, Igor
Kleene Algebra of Weighted Programs With Domain.
Dynamic Logic. New Trends and Applications. Revised Selected Papers. Cham: Springer, 2024 - (Gierasimczuk, N.; Velázquez-Quesada, F.), s. 52-67. Lecture Notes in Computer Science, 14401. ISBN 978-3-031-51777-8. E-ISSN 1611-3349.
[DaLí 2023. International Workshop /5./. Tbilisi (GE), 15.09.2023-16.09.2023]
Grant CEP: GA ČR(CZ) GA22-16111S
Institucionální podpora: RVO:67985807
Klíčová slova: Kleene algebra with domain * Kleene algebra with tests * Program semantics * Weakest precondition calculus * Weighted programs
Trvalý link: https://hdl.handle.net/11104/0352276