Amanote Research
Register
Sign In
Two-Variable Logic on Data Trees and XML Reasoning
doi 10.1145/1142351.1142354
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2006
Authors
Mikolaj Bojańczyk
Claire David
Anca Muscholl
Thomas Schwentick
Luc Segoufin
Publisher
ACM Press