Skip to content

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions.

Wojciech Rozowski

VenueA*ICALP
Year2024
ProceedingsICALP

Browse the full ICALP paper archive.