10 citations · 23 across the 13 of their papers we have counts for
1 paper · 1 filter
Ahmet Kara, Tony Tan
Recently data trees and data words have received considerable amount of attention in connection with XML reasoning and system verification. These are trees or words that, in additi…