49 citations · 106 across the 25 of their papers we have counts for
1 paper · 2 filters
Ahmet Kara, Thomas Schwentick, Thomas Zeume
The paper proposes and studies temporal logics for attributed words, that is, data words with a (finite) set of (attribute,value)-pairs at each position. It considers a basic logic…