equal
deleted
inserted
replaced
1 |
1 |
2 |
2 |
|
3 @incollection{Nipkow11, |
|
4 author = {T.~Nipkow}, |
|
5 title = {{G}auss-{J}ordan {E}limination for {M}atrices {R}epresented as {F}unctions}, |
|
6 booktitle = {The Archive of Formal Proofs}, |
|
7 editor = {G.~Klein and T.~Nipkow and L.~Paulson}, |
|
8 publisher = {\url{http://afp.sourceforge.net/entries/Gauss-Jordan-Elim-Fun.shtml}}, |
|
9 year = 2011, |
|
10 note = {Formal proof development}, |
|
11 ISSN = {2150-914x} |
|
12 } |
3 |
13 |
4 @Article{Haines69, |
14 @Article{Haines69, |
5 author = {L.~H.~Haines}, |
15 author = {L.~H.~Haines}, |
6 title = {{O}n {F}ree {M}onoids {P}artially {O}rdered by {E}mbedding}, |
16 title = {{O}n {F}ree {M}onoids {P}artially {O}rdered by {E}mbedding}, |
7 journal = {Journal of Combinatorial Theory}, |
17 journal = {Journal of Combinatorial Theory}, |