Login / Signup
Fahad Ausaf
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 2
Top Topics
Regular Expressions
Deterministic Finite Automata
Context Free Grammars
Top Venues
ITP
Arch. Formal Proofs
</>
Publications
</>
Fahad Ausaf
,
Roy Dyckhoff
,
Christian Urban
POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl).
ITP
(2016)
Fahad Ausaf
,
Roy Dyckhoff
,
Christian Urban
POSIX Lexing with Derivatives of Regular Expressions.
Arch. Formal Proofs
2016 (2016)