equal
deleted
inserted
replaced
|
1 @Article{ Urban08, |
|
2 author = "C. Urban", |
|
3 title = "{N}ominal {T}echniques in {I}sabelle/{HOL}", |
|
4 journal = "Journal of Automated Reasoning", |
|
5 volume = "40", |
|
6 number = "4", |
|
7 pages = "327--356", |
|
8 year = "2008" |
|
9 } |
|
10 |
1 @InProceedings{GunterOsbornPopescu09, |
11 @InProceedings{GunterOsbornPopescu09, |
2 author = {E.L.~Gunter and C.J.~Osborn and A.~Popescu}, |
12 author = {E.L.~Gunter and C.J.~Osborn and A.~Popescu}, |
3 title = {{T}heory {S}upport for {W}eak {H}igher {O}rder {A}bstract {S}yntax in |
13 title = {{T}heory {S}upport for {W}eak {H}igher {O}rder {A}bstract {S}yntax in |
4 {I}sabelle/{HOL}}, |
14 {I}sabelle/{HOL}}, |
5 booktitle = {Proc.~of the 4th International Workshop on Logical Frameworks and Meta-Languages: |
15 booktitle = {Proc.~of the 4th International Workshop on Logical Frameworks and Meta-Languages: |