Weighted Specifications over Nested Words
暂无分享,去创建一个
[1] Leonid Libkin,et al. Elements of Finite Model Theory , 2004, Texts in Theoretical Computer Science.
[2] Paul Gastin,et al. Adding Pebbles to Weighted Automata , 2012, CIAA.
[3] Manfred Droste,et al. Weighted Logics for Unranked Tree Automata , 2009, Theory of Computing Systems.
[4] Joachim Niehren,et al. Streaming tree automata , 2008, Inf. Process. Lett..
[5] Wojciech Rytter,et al. On the Maximal Number of Cubic Runs in a String , 2010, LATA.
[6] Mahesh Viswanathan,et al. Query Automata for Nested Words , 2009, MFCS.
[7] Joost Engelfriet,et al. XML transformation by tree-walking transducers with invisible pebbles , 2007, PODS.
[8] Joost Engelfriet,et al. Tree-Walking Pebble Automata , 1999, Jewels are Forever.
[9] Christian Mathissen,et al. Weighted Logics for Nested Words and Algebraic Formal Power Series , 2008, ICALP.
[10] Borivoj Melichar,et al. Finding Common Motifs with Gaps Using Finite Automata , 2006, CIAA.
[11] César Sánchez,et al. Regular Linear Temporal Logic , 2007, ICTAC.
[12] J. Conway. Regular algebra and finite machines , 1971 .
[13] J. Sakarovitch. Automata and expressions , 2015 .
[14] Paul Gastin,et al. Weighted automata and weighted logics , 2005, Theor. Comput. Sci..
[15] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[16] Benedikt Bollig,et al. Pebble Weighted Automata and Transitive Closure Logics , 2010, ICALP.
[17] Neil Immerman,et al. First-Order and Temporal Logics for Nested Words , 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
[18] M. Droste,et al. Semirings and Formal Power Series , 2009 .
[19] R. Alur,et al. Adding nesting structure to words , 2006, JACM.
[20] Rastislav Královič,et al. Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings , 2009, MFCS.
[21] Mikolaj Bojanczyk,et al. Tree-Walking Automata , 2008, LATA.
[22] Marcel Paul Schützenberger,et al. On the Definition of a Family of Automata , 1961, Inf. Control..