An Extension of Data Automata that Captures XPath

Mikolaj Bojanczyk, Slawomir Lasota. An Extension of Data Automata that Captures XPath. In Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom. pages 243-252, IEEE Computer Society, 2010. [doi]

Authors

Mikolaj Bojanczyk

This author has not been identified. Look up 'Mikolaj Bojanczyk' in Google

Slawomir Lasota

This author has not been identified. Look up 'Slawomir Lasota' in Google