POSIX Lexing

swMATH28598MaRDI QIDQ40312FDOQ40312

Official website https://www.isa-afp.org/entries/Posix-Lexing.html

Described by source

• POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl)

Cited in

(4)

• AmiCo
• Regular Sets
• Finite Automata HF
• Hereditarily Finite Sets

This page was built for software: POSIX Lexing