Cover von A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions opens in new tab

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions

Year: 2024
Media group: LIPIcs

Details

Search for this author
Year: 2024
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 149:1-149:20
Participating parties: Search for this character Różowski, Wojciech
Media group: LIPIcs