- Derivatives for Enhanced Regular Expressions Peter Thiemann Tue 10 January 2017
- On the enlargement of the class of regular languages by the shuffle closure Joanna Jędrzejowicz Tue 10 January 2017
- Shuffle languages are in P Joanna Jędrzejowicz Andrzej Szepietowski Tue 10 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
- XML Schema Containment Checking Based on Semi-implicit Techniques Akihiko Tozawa Masami Hagiya Tue 10 January 2017
- Phase transition phenomena in random discrete structures Tomasz Łuczak Mon 09 January 2017
- The transitive closure of a random digraph Richard M. Karp Mon 09 January 2017
- Efficient Approaches to Subset Construction Ted Leslie Mon 09 January 2017
- Random Models for Evaluating Efficient Buchi Universality Checking Corey Fisher Seth Fogarty Moshe Vardi Mon 09 January 2017
- Deterministic Automata on Unranked Trees Julien Cristau Christof Løding Wolfgang Thomas Mon 09 January 2017
- Efficient Inclusion Checking for Deterministic Tree Automata and XML Schemas Jérôme Champavère Rémi Gilleron Aurélien Lemay Joachim Niehren Mon 09 January 2017
- Minimizing Tree Automata for Unranked Trees Wim Martens Joachim Niehren Mon 09 January 2017
- Structural Descriptions of Lower Ideals of Trees Neil Robertson Paul Seymour Robin Thomas Tue 27 December 2016
- On the general theory of control systems R. Kalman Tue 27 December 2016
- Adjoint machines, state-behavior machines, and duality Michael A. Arbib Ernest G. Manes Tue 27 December 2016
- LOIS: Syntax and Semantics Eryk Kopczyński Szymon Toruńczyk Tue 27 December 2016
- Duality in Logic and Computation Prakash Panangaden Mon 26 December 2016
- On semigroups of matrices over the tropical semiring Imre Simon Mon 26 December 2016
- Constrained Dynamic Tree Networks Matthew Hague Vincent Penelle Mon 26 December 2016
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
