equal
deleted
inserted
replaced
|
1 |
|
2 @inproceedings{Berghofer03, |
|
3 author = {S.~Berghofer}, |
|
4 title = {{A} {C}onstructive {P}roof of {H}igman's {L}emma in {I}sabelle}, |
|
5 booktitle = {In Proc. of the Workshop on Types}, |
|
6 year = {2003}, |
|
7 pages = {66--82}, |
|
8 series = {LNCS}, |
|
9 volume = {3085} |
|
10 } |
|
11 |
1 @article{Gasarch09, |
12 @article{Gasarch09, |
2 author = {S.~A.~Fenner and W.~I.~Gasarch and B.~Postow}, |
13 author = {S.~A.~Fenner and W.~I.~Gasarch and B.~Postow}, |
3 title = {{T}he {C}omplexity of {F}inding {SUBSEQ(A)}}, |
14 title = {{T}he {C}omplexity of {F}inding {SUBSEQ(A)}}, |
4 journal = {Theory Computing Systems}, |
15 journal = {Theory Computing Systems}, |
5 volume = {45}, |
16 volume = {45}, |
369 title = "{Practical Earley Parsing}", |
380 title = "{Practical Earley Parsing}", |
370 journal = "COMPJ: The Computer Journal", |
381 journal = "COMPJ: The Computer Journal", |
371 volume = "45", |
382 volume = "45", |
372 year = "2002", |
383 year = "2002", |
373 } |
384 } |
|
385 |