scholarly journals Extending two-variable logic on data trees with order on data values and its automata

2014 ◽  
Vol 15 (1) ◽  
pp. 1-39 ◽  
Author(s):  
Tony Tan
Keyword(s):  
Variable Logic ◽  
Data Trees

scholarly journals Two-variable logic on data trees and XML reasoning

2009 ◽  
Vol 56 (3) ◽  
pp. 1-48 ◽  
Author(s):  
Mikoaj Bojańczyk ◽  
Anca Muscholl ◽  
Thomas Schwentick ◽  
Luc Segoufin
Keyword(s):  
Variable Logic ◽  
Data Trees

scholarly journals An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic

2017 ◽  
Vol 18 (4) ◽  
pp. 1-22
Author(s):  
Andreas Krebs ◽  
Howard Straubing
Keyword(s):  
Variable Logic

scholarly journals Highly Expressive Query Languages for Unordered Data Trees

2015 ◽  
Vol 57 (4) ◽  
pp. 927-966 ◽  
Author(s):  
Serge Abiteboul ◽  
Pierre Bourhis ◽  
Victor Vianu
Keyword(s):  
Query Languages ◽  
Data Trees
Sign in / Sign up

Export Citation Format

Share Document