I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Two-variable logic on data words:

Bojańczyk, Mikołaj ; David, Claire ; Muscholl, Anca..
ACM Transactions on Computational Logic (TOCL).  12 (2011)  4 - p. 1-26 , 2011
Link: https://dl.acm.org/doi/10.1145/1970398.1970403