- Efficient inclusion for a class of XML types with interleaving and counting Dario Colazzo Giorgio Ghelli Carlo Sartiani Thu 12 January 2017
- Characterization and Complexity Results on Jumping Finite Automata Henning Fernau Meenakshi Paramasivan Markus L. Schmid Vojtěch Vorel Thu 12 January 2017
- On universality of concurrent expressions with synchronization primitives T. Ito Y. Nishitani Thu 12 January 2017
- Descriptional Complexity of Alternating Finite Automata J. Kavitha L. Jeganathan G. Sethuraman Thu 12 January 2017
- State Complexity of Combined Operations on Alternating Finite Automata Kavitha Joseph Thu 12 January 2017
- Succinctness of Regular Expressions with Interleaving, Intersection and Counting Wouter Gelade Wed 11 January 2017
- Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking D. Colazzo G. Ghelli L. Pardini C. Sartiani Tue 10 January 2017
- The Complexity of Word Problems - This Time with Interleaving Alain J. Mayer Larry J. Stockmeyer Tue 10 January 2017
Library Size: 13G (8 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A