POSIX Lexing

swMATH28598MaRDI QIDQ40312FDOQ40312

Author name not available (Why is that?)

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