equal
deleted
inserted
replaced
9 } |
9 } |
10 |
10 |
11 |
11 |
12 |
12 |
13 @Unpublished{KraussNipkow11, |
13 @Unpublished{KraussNipkow11, |
14 author = {A.~Kraus and T.~Nipkow}, |
14 author = {A.~Krauss and T.~Nipkow}, |
15 title = {{P}roof {P}earl: {R}egular {E}xpression {E}quivalence and {R}elation {A}lgebra}, |
15 title = {{P}roof {P}earl: {R}egular {E}xpression {E}quivalence and {R}elation {A}lgebra}, |
16 note = {To appear in Journal of Automated Reasoning}, |
16 note = {To appear in Journal of Automated Reasoning}, |
17 year = {2011} |
17 year = {2011} |
18 } |
18 } |
19 |
19 |
128 year = {1995}, |
128 year = {1995}, |
129 volume = {155}, |
129 volume = {155}, |
130 pages = {291--319} |
130 pages = {291--319} |
131 } |
131 } |
132 |
132 |
133 @ARTICLE{Brozowski10, |
133 @ARTICLE{Brzozowski10, |
134 author = {J.~Brozowski}, |
134 author = {J.~A.~Brzozowski}, |
135 title = {{Q}uotient {C}omplexity of {R}egular {L}anguages}, |
135 title = {{Q}uotient {C}omplexity of {R}egular {L}anguages}, |
136 journal = {Journal of Automata, Languages and Combinatorics}, |
136 journal = {Journal of Automata, Languages and Combinatorics}, |
137 volume = {15}, |
137 volume = {15}, |
138 number = {1/2}, |
138 number = {1/2}, |
139 pages = {71--89}, |
139 pages = {71--89}, |
148 } |
148 } |
149 |
149 |
150 @inproceedings{WuZhangUrban11, |
150 @inproceedings{WuZhangUrban11, |
151 author = {C.~Wu and X.~Zhang and C.~Urban}, |
151 author = {C.~Wu and X.~Zhang and C.~Urban}, |
152 title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions}, |
152 title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions}, |
153 booktitle = {Proc.~of the 2nd 1st Conference on Interactive Theorem Proving}, |
153 booktitle = {Proc.~of the 2nd Conference on Interactive Theorem Proving}, |
154 year = {2011}, |
154 year = {2011}, |
155 pages = {???}, |
155 pages = {???}, |
156 series = {LNCS}, |
156 series = {LNCS}, |
157 volume = {???} |
157 volume = {???} |
158 } |
158 } |