equal
deleted
inserted
replaced
72 title = {{C}omputability and {L}ogic (5th~ed.)}, |
72 title = {{C}omputability and {L}ogic (5th~ed.)}, |
73 publisher = {Cambridge University Press}, |
73 publisher = {Cambridge University Press}, |
74 year = {2007} |
74 year = {2007} |
75 } |
75 } |
76 |
76 |
|
77 @book{BoolosFourth, |
|
78 author = {G.~Boolos and J.~P.~Burgess and R.~C.~Jeffrey}, |
|
79 title = {{C}omputability and {L}ogic (4th~ed.)}, |
|
80 publisher = {Cambridge University Press}, |
|
81 year = {2002} |
|
82 } |
|
83 |
|
84 |
77 @inproceedings{WuZhangUrban11, |
85 @inproceedings{WuZhangUrban11, |
78 author = {C.~Wu and X.~Zhang and C.~Urban}, |
86 author = {C.~Wu and X.~Zhang and C.~Urban}, |
79 title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions |
87 title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions |
80 ({P}roof {P}earl)}, |
88 ({P}roof {P}earl)}, |
81 booktitle = {Proc.~of the 2nd Conference on Interactive Theorem Proving}, |
89 booktitle = {Proc.~of the 2nd Conference on Interactive Theorem Proving}, |