Journal/document/root.bib
changeset 375 44c4450152e3
parent 372 2c56b20032a7
child 386 92ca56c1a199
equal deleted inserted replaced
374:01d223421ba0 375:44c4450152e3
       
     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},