Author:
Banerjee Ansuman,Chatterjee Kingshuk,Guha Shibashis
Publisher
Springer Nature Switzerland
Reference22 articles.
1. Autebert, J.M., Beauquier, J., Boasson, L.: Langages sur des alphabets infinis. Discret. Appl. Math. 2(1), 1–20 (1980)
2. Björklund, H., Schwentick, T.: On notions of regularity for data languages. Theoret. Comput. Sci. 411(4–5), 702–715 (2010)
3. Bojańczyk, M., Muscholl, A., Schwentick, T., Segoufin, L.: Two-variable logic on data trees and xml reasoning. J. ACM 56(3) (2009). https://doi.org/10.1145/1516512.1516515
4. Bojanczyk, M., Muscholl, A., Schwentick, T., Segoufin, L., David, C.: Two-variable logic on words with data. In: 21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006), pp. 7–16. IEEE (2006)
5. Lecture Notes in Computer Science;B Bollig,2011