equal
deleted
inserted
replaced
121 |
121 |
122 |
122 |
123 @Unpublished{KraussNipkow11, |
123 @Unpublished{KraussNipkow11, |
124 author = {A.~Krauss and T.~Nipkow}, |
124 author = {A.~Krauss and T.~Nipkow}, |
125 title = {{P}roof {P}earl: {R}egular {E}xpression {E}quivalence and {R}elation {A}lgebra}, |
125 title = {{P}roof {P}earl: {R}egular {E}xpression {E}quivalence and {R}elation {A}lgebra}, |
126 note = {To appear in Journal of Automated Reasoning}, |
126 note = {To appear in the Journal of Automated Reasoning}, |
127 year = {2011} |
127 year = {2012} |
128 } |
128 } |
129 |
129 |
130 @Book{Kozen97, |
130 @Book{Kozen97, |
131 author = {D.~Kozen}, |
131 author = {D.~Kozen}, |
132 title = {{A}utomata and {C}omputability}, |
132 title = {{A}utomata and {C}omputability}, |