equal
deleted
inserted
replaced
1 |
1 |
|
2 |
|
3 @PhdThesis{Braibant12, |
|
4 author = {T.~Braibant}, |
|
5 title = {{K}leene {A}lgebras, {R}ewriting {M}odulo {AC}, and {C}ircuits in {C}oq}, |
|
6 school = {University of Grenoble}, |
|
7 year = {2012} |
|
8 } |
2 |
9 |
3 @incollection{Nipkow11, |
10 @incollection{Nipkow11, |
4 author = {T.~Nipkow}, |
11 author = {T.~Nipkow}, |
5 title = {{G}auss-{J}ordan {E}limination for {M}atrices {R}epresented as {F}unctions}, |
12 title = {{G}auss-{J}ordan {E}limination for {M}atrices {R}epresented as {F}unctions}, |
6 booktitle = {The Archive of Formal Proofs}, |
13 booktitle = {The Archive of Formal Proofs}, |