equal
deleted
inserted
replaced
|
1 @article{OwensReppyTuron09, |
|
2 author = {S.~Owens and J.~Reppy and A.~Turon}, |
|
3 title = {{R}egular-{E}xpression {D}erivatives {R}e-{E}xamined}, |
|
4 journal = {Journal of Functional Programming}, |
|
5 volume = 19, |
|
6 number = {2}, |
|
7 year = 2009, |
|
8 pages = {173--190} |
|
9 } |
|
10 |
|
11 |
1 |
12 |
2 @Unpublished{KraussNipkow11, |
13 @Unpublished{KraussNipkow11, |
3 author = {A.~Kraus and T.~Nipkow}, |
14 author = {A.~Kraus and T.~Nipkow}, |
4 title = {{P}roof {P}earl: {R}egular {E}xpression {E}quivalence and {R}elation {A}lgebra}, |
15 title = {{P}roof {P}earl: {R}egular {E}xpression {E}quivalence and {R}elation {A}lgebra}, |
5 note = {To appear in Journal of Automated Reasoning}, |
16 note = {To appear in Journal of Automated Reasoning}, |