Two-variable logic on data words

Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin. Two-variable logic on data words. ACM Trans. Comput. Log., 12(4):27, 2011. [doi]

Authors

Mikolaj Bojanczyk

This author has not been identified. Look up 'Mikolaj Bojanczyk' in Google

Claire David

This author has not been identified. Look up 'Claire David' in Google

Anca Muscholl

This author has not been identified. Look up 'Anca Muscholl' in Google

Thomas Schwentick

This author has not been identified. It may be one of the following persons: Look up 'Thomas Schwentick' in Google

Luc Segoufin

This author has not been identified. Look up 'Luc Segoufin' in Google