- Well Behaved Transition Systems Michael Blondin Alain Finkel Pierre McKenzie Fri 10 February 2017
- The Ideal Theory for WSTS Alain Finkel Fri 10 February 2017
- Invisible Pushdown Languages Eryk Kopczynski Thu 09 February 2017
- Deterministic Automata for Unordered Trees Adrien Boiret Vincent Hugot Joachim Niehren Ralf Treinen Wed 08 February 2017
- Boolean Operations for Attribute-Element Constraints Haruo Hosoya Makoto Murata Wed 01 February 2017
- How to RELAX Makoto Murata Tue 31 January 2017
- Tree-Walking Automata Mikołaj Bojańczyk Tue 31 January 2017
- Tree-Walking Automata Do Not Recognize All Regular Languages MikoŁaj Bojańczyk Thomas Colcombet Tue 31 January 2017
- Tree-walking automata cannot be determinized Mikołaj Bojańczyk Thomas Colcombet Tue 31 January 2017
- Regular Tree Language Recognition with Static Information Alain Frisch Mon 30 January 2017
- Alternating tree automata Giora Slutzki Mon 30 January 2017
- Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages Jurgen Giesl Stephan Swiderski Peter Schneider-Kamp René Thiemann Thu 26 January 2017
- Partial derivatives of regular expressions and finite automaton constructions Valentin Antimirov Wed 25 January 2017
- Polymorphic Regular Tree Types and Patterns Jérôme Vouillon Mon 23 January 2017
- Subtyping Union Types Jérôme Vouillon Mon 23 January 2017
- Combining Subsumption and Binary Methods: An Object Calculus with Views Jérôme Vouillon Mon 23 January 2017
- Boolean operations and inclusion test for attribute--element constraints Haruo Hosoya Makoto Murata Mon 23 January 2017
- Semantic Subtyping: Dealing Set-theoretically with Function, Union, Intersection, and Negation Types Alain Frisch Giuseppe Castagna Véronique Benzaken Mon 23 January 2017
- XDuce: A Statically Typed XML Processing Language Haruo Hosoya Benjamin C. Pierce Mon 23 January 2017
- Regular Expression Pattern Matching for XML Haruo Hosoya Benjamin C. Pierce Mon 23 January 2017
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
