equal
deleted
inserted
replaced
|
1 @InProceedings{Homeier05, |
|
2 author = {P.~Homeier}, |
|
3 title = {{A} {D}esign {S}tructure for {H}igher {O}rder {Q}uotients}, |
|
4 booktitle = {Proc.~of the 18th International Conference on Theorem |
|
5 Proving in Higher Order Logics (TPHOLs)}, |
|
6 pages = {130--146}, |
|
7 year = {2005}, |
|
8 volume = {3603}, |
|
9 series = {LNCS} |
|
10 } |
|
11 |
|
12 |
1 @Unpublished{HuffmanUrban10, |
13 @Unpublished{HuffmanUrban10, |
2 author = {B.~Huffman and C.~Urban}, |
14 author = {B.~Huffman and C.~Urban}, |
3 title = {{P}roof {P}earl: {A} {N}ew {F}oundation for {N}ominal {I}sabelle}, |
15 title = {{P}roof {P}earl: {A} {N}ew {F}oundation for {N}ominal {I}sabelle}, |
4 note = {http://www4.in.tum.de/\~{}urbanc/Publications/nominal-atoms.pdf}, |
16 note = {To appear at ITP 2010}, |
|
17 annote = {http://www4.in.tum.de/\~{}urbanc/Publications/nominal-atoms.pdf}, |
5 year = {2010} |
18 year = {2010} |
6 } |
19 } |
7 |
20 |
8 @PhdThesis{Leroy92, |
21 @PhdThesis{Leroy92, |
9 author = {X.~Leroy}, |
22 author = {X.~Leroy}, |