26 citations · 185 across the 21 of their papers we have counts for
1 paper · 1 filter
Alejandro Díaz-Caro, Gilles Dowek
We show how to provide a structure of probability space to the set of execution traces on a non-confluent abstract rewrite system, by defining a variant of a Lebesgue measure on th…