equal
deleted
inserted
replaced
217 } |
217 } |
218 |
218 |
219 @InProceedings{Coquand2012, |
219 @InProceedings{Coquand2012, |
220 author = {T.~Coquand and V.~Siles}, |
220 author = {T.~Coquand and V.~Siles}, |
221 title = {{A} {D}ecision {P}rocedure for {R}egular {E}xpression {E}quivalence in {T}ype {T}heory}, |
221 title = {{A} {D}ecision {P}rocedure for {R}egular {E}xpression {E}quivalence in {T}ype {T}heory}, |
222 booktitle = {Proc.~of the 1st Conference on Certified Programs and Proofs (CPP)}, |
222 booktitle = {Proc.~of the 1st International Conference on Certified Programs and Proofs (CPP)}, |
223 pages = {119--134}, |
223 pages = {119--134}, |
224 year = {2011}, |
224 year = {2011}, |
225 volume = {7086}, |
225 volume = {7086}, |
226 series = {LNCS} |
226 series = {LNCS} |
227 } |
227 } |