Formalization of Knuth–Bendix Orders for Lambda-Free Higher-Order Terms by Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann and Daniel Wand Nov 12
POSIX Lexing with Derivatives of Regular Expressions by Fahad Ausaf, Roy Dyckhoff and Christian Urban May 24
Unified Decision Procedures for Regular Expression Equivalence by Tobias Nipkow and Dmitriy Traytel Jan 30
The Myhill-Nerode Theorem Based on Regular Expressions by Chunhan Wu, Xingyuan Zhang and Christian Urban Aug 26