41 citations · 104 across the 19 of their papers we have counts for
1 paper · 1 filter
Stephane Demri, Ranko Lazic, Arnaud Sangnier
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL) and for first-order logic with data equality tests over one-counter automata. W…