Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics by Chelsea Edmonds and Lawrence C. Paulson Apr 21
Formalization of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals by Jasmin Christian Blanchette, Mathias Fleury and Dmitriy Traytel Nov 12
Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata by Salomon Sickert Sep 04
Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions by Dmitriy Traytel and Tobias Nipkow Jun 12