1 Extending two-variable logic on data trees with order on data values and its automata Tony Tan Hasselt University and Transnational University of Limburg

First Page		Document Content
Date: 2013-09-27 07:50:37		1 Extending two-variable logic on data trees with order on data values and its automata Tony Tan Hasselt University and Transnational University of Limburg Add to Reading List Source URL: alpha.uhasselt.be Download Document from Source Website File Size: 433,49 KB Share Document on Facebook