34 citations · 144 across the 66 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 1 cited
Cut-elimination and the decidability of reachability in alternating pushdown systems
Gilles Dowek, Ying Jiang
We give a new proof of the decidability of reachability in alternating pushdown systems, showing that it is a simple consequence of a cut-elimination theorem for some natural-deduc…
cs.LO2014★ 3 cited
The probability of non-confluent systems
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…