41 citations · 104 across the 19 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.FL2010★ 9 cited
On Selective Unboundedness of VASS
Stéphane Demri
Numerous properties of vector addition systems with states amount to checking the (un)boundedness of some selective feature (e.g., number of reversals, run length). Some of these f…
cs.LO2010★ 6 cited
The complexity of linear-time temporal logic over the class of ordinals
Stephane Demri, Alexander Rabinovich
We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theorem. We…