Active context-free games

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

Volumn 2996, Issue , 2004, Pages 452-464

  Muscholl, Anca ^a   Schwentick, Thomas ^b   Segoufin, Luc ^c  

^a UNIVERSITÉ PARIS DIDEROT   (France)

^b PHILIPPS UNIVERSITY MARBURG   (Germany)

^c INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONTEXT-FREE; FINITE ALPHABET; TARGET LANGUAGE; WINNING STRATEGY;

CONTEXT FREE GRAMMARS;

EID: 35048865349     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24749-4_40     Document Type: Article

References (17)

1. S. Abiteboul. Semistructured Data: from Practice to Theory. In LICS'01, IEEE Comp. Soc. 2001.
2. S. Abiteboul, A. Bonifati, G. Cobena, I. Manolescu, and T. Milo. Dynamic XML documents with distribution and replication. In SIGMOD'03, pages 527-538, ACM 2003.
3. Active XML. http://www-rocq.inria.fr/verso/Gemo/Projects/axml.
4. A. Blumensath and E. Grädel. Automatic structures. In LICS'00, pages 51-62, IEEE Comp. Soc. 2000.
5. Th. Cachat. Symbolic Strategy Synthesis for Games on Pushdown Graphs. In ICALP'02, LNCS 2380, pages 704-715, Springer, 2002.
6. E. Grädel, W. Thomas, and Th. Wilke, eds. Automata, Logics, and Infinite Games. Springer, 2002.
7. Jelly: Executable XML. http://jakarta.apache.org/commons/sandbox/jelly.
8. Ch. Löding. Infinite graphs generated by tree rewriting. PhD thesis, RWTH Aachen, 2003.
9. Macromedia Coldfusion MX. http://www.macromedia.com/.
10. R. Mayr. Process rewrite systems. In Theoretical computer science 156(1-2):264-286, 2000.
11. T. Milo, S. Abiteboul, B. Amann, O. Benjelloun, F. Dang Ngoc. Exchanging Intensional XML Data. In SIGMOD'03, pages 289-300, ACM 2003.
12. F. Neven. Automata, Logic, and XML. In Proc. of CSL'02, LNCS 2471, pages 2-26, Springer, 2002.
13. C. Papadimitriou. Computational complexity. Addison-Wesley, 1994.
14. O. Serre. Note on winning positions on pushdown games with ω-regular conditions. In Information Processing Letters 85:285-291, 2003.
15. V. Vianu. A Web Odyssey: From Codd to XML. In PODS'01, ACM 2001.
16. I. Walukiewicz. Pushdown Processes: Games and Model-Checking. In Information and Computation 164(2), 2001, pages 234-263.
17. Web services. http://www.w3.org/200S/ws.