equal
deleted
inserted
replaced
31 } |
31 } |
32 |
32 |
33 @InProceedings{AydemirBohannonWeirich07, |
33 @InProceedings{AydemirBohannonWeirich07, |
34 author = {B.~Aydemir and A.~Bohannon and S.~Weihrich}, |
34 author = {B.~Aydemir and A.~Bohannon and S.~Weihrich}, |
35 title = {{N}ominal {R}easoning {T}echniques in {C}oq ({E}xtended {A}bstract)}, |
35 title = {{N}ominal {R}easoning {T}echniques in {C}oq ({E}xtended {A}bstract)}, |
36 booktitle = {Proc.~of the 1st International Workshop on Logical Frameworks and Meta-Languages: |
36 booktitle = {Proc.~of the 2st International Workshop on Logical Frameworks and Meta-Languages: |
37 Theory and Practice (LFMTP)}, |
37 Theory and Practice (LFMTP)}, |
38 pages = {69--77}, |
38 pages = {69--77}, |
39 year = {2007}, |
39 year = {2007}, |
40 series = {ENTCS} |
40 series = {ENTCS} |
41 } |
41 } |