Shuffle expressions and words with nested data

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4708 LNCS, Issue , 2007, Pages 750-761

  Björklund, Henrik ^a   Bojańczyk, Mikołaj ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF WARSAW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; PROBLEM SOLVING; THEOREM PROVING; WORD PROCESSING;

HIGHER-ORDER MULTICOUNTER AUTOMATA; PROOF VEHICLE;

DATA MINING;

EID: 38049094692     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74456-6_66     Document Type: Conference Paper

References (11)

1. Björklund, H., Schwentick, T.: On notions of regularity for data languages. In: FCT'07 (to appear, 2007)
2. Bojańczyk, M., Muscholl, A., Schwentick, T., Segoufin, L., David, C.: Two-variable logic on words with data. In: LICS'06, pp. 7-16 (2006)
3. Bouyer, P., Petit, A., Thérien, D.: An algebraic approach to data languages and timed languages. Information and Computation 182(2), 137-162 (2003)
4. Demri, S., Lazić, R.: LTL with the freeze quantifier and register automata. In: LICS'06, pp. 17-26 (2006)
5. Gischer, J.: Shuffle languages, petri nets, and context-sensitive grammars. Communications of the ACM 24(9), 597-605 (1981)
6. Jedrzejowicz, J., Szepietowski, A.: Shuffle languages are in P. TCS 250, 31-53 (2001)
7. Kaminski, M., Francez, N.: Finite-memory automata. TCS 132(2), 329-363 (1994)
8. Lomazova, I.A., Schnoebelen, P.: Some decidability results for nested petri nets. In: PSI'99, pp. 208-220 (2000)
9. Neven, F., Schwentick, T., Vianu, V.: Finite state machines for strings over infinite alphabets. ACM transactions on computational logic 15(3), 403-435 (2004)
10. Parikh, R.: On context-free languages. Journal of the ACM, 570-581 (1966)
11. Segoufin, L.: Automata and logics for words and trees over an infinite alphabet. In: Ésik, Z. (ed.) CSL 2006. LNCS, vol. 4207, pp. 41-57. Springer, Heidelberg (2006)