Regular Sets and Expressions

Alexander Krauss, Tobias Nipkow. Regular Sets and Expressions. Archive of Formal Proofs, 2010, 2010. [doi]

Abstract

Abstract is missing.