Quantitative languages, in (0)

by A Chatterjee, L Doyen, T Henzinger
Venue:Proc. 17th Annual Conf. of the European Association for Computer Science Logic