Login / Signup

Two-variable logic on data trees and XML reasoning.

Mikolaj BojanczykClaire DavidAnca MuschollThomas SchwentickLuc Segoufin
Published in: PODS (2006)
Keyphrases