equal
deleted
inserted
replaced
|
1 |
|
2 |
|
3 @Unpublished{GasarchBlog, |
|
4 author = {L.~Fortnow and W.~I.~Gasarch}, |
|
5 title = {{P}roving {DFA}-{L}angs {C}losed {U}nder {C}oncat and * {W}ithout {U}sing {E}quiv to |
|
6 {NDFA's}}, |
|
7 note = {Retrieved \today, from \url{http://blog.computationalcomplexity.org}}, |
|
8 year = {2013} |
|
9 } |
|
10 |
|
11 @article{Gelade12, |
|
12 author = {W.~Gelade and F.~Neven}, |
|
13 title = {{S}uccinctness of the {C}omplement and {I}ntersection of {R}egular |
|
14 {E}xpressions}, |
|
15 journal = {ACM Transactions on Computational Logic}, |
|
16 volume = {13}, |
|
17 number = {1}, |
|
18 year = {2012}, |
|
19 pages = {4:1--4:21}, |
|
20 } |
|
21 |
|
22 |
1 @InProceedings{CoquandSiles12, |
23 @InProceedings{CoquandSiles12, |
2 author = {T.~Coquand and V.~Siles}, |
24 author = {T.~Coquand and V.~Siles}, |
3 title = {{A} {D}ecision {P}rocedure for {R}egular {E}xpression {E}quivalence in {T}ype {T}heory}, |
25 title = {{A} {D}ecision {P}rocedure for {R}egular {E}xpression {E}quivalence in {T}ype {T}heory}, |
4 booktitle = {Proc.~of the 1st Conference on Certified Programs and Proofs}, |
26 booktitle = {Proc.~of the 1st Conference on Certified Programs and Proofs}, |
5 pages = {119--134}, |
27 pages = {119--134}, |