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