107 citations · 207 across the 14 of their papers we have counts for
1 paper · 1 filter
Stephane Demri, Diego Figueira, M Praveen
We study linear-time temporal logics interpreted over data words with multiple attributes. We restrict the atomic formulas to equalities of attribute values in successive positions…