equal
deleted
inserted
replaced
1 |
1 @article{aduAFP16, |
|
2 author = {Fahad Ausaf and Roy Dyckhoff and Christian Urban}, |
|
3 title = {{POSIX} {L}exing with {D}erivatives of {R}egular {E}xpressions}, |
|
4 journal = {Archive of Formal Proofs}, |
|
5 year = 2016, |
|
6 note = {\url{http://www.isa-afp.org/entries/Posix-Lexing.shtml}, Formal proof development}, |
|
7 ISSN = {2150-914x} |
|
8 } |
2 |
9 |
3 |
10 |
4 @TechReport{CrashCourse2014, |
11 @TechReport{CrashCourse2014, |
5 author = {N.~B.~B.~Grathwohl and F.~Henglein and U.~T.~Rasmussen}, |
12 author = {N.~B.~B.~Grathwohl and F.~Henglein and U.~T.~Rasmussen}, |
6 title = {{A} {C}rash-{C}ourse in {R}egular {E}xpression {P}arsing and {R}egular |
13 title = {{A} {C}rash-{C}ourse in {R}egular {E}xpression {P}arsing and {R}egular |