Benutzer: Gast  Login
Autor(en):
Bojanczyk, M.; Schwentick, Th; Segoufin, L.; Muscholl, Anca 
Titel:
Two-variable logic on data trees and XML reasoning 
Zeitschriftentitel:
J. of the ACM 
Jahr:
2009 
Band / Volume:
56 
Heft / Issue: