Login / Signup

Two-variable logic on data trees and XML reasoning.

Mikolaj BojanczykAnca MuschollThomas SchwentickLuc Segoufin
Published in: J. ACM (2009)
Keyphrases