equal
deleted
inserted
replaced
|
1 @InProceedings{ UrbanTasson05, |
|
2 author = "C. Urban and C. Tasson", |
|
3 title = "{N}ominal {T}echniques in {I}sabelle/{HOL}", |
|
4 booktitle = "Proc.~of the 20th CADE Conference", |
|
5 year = 2005, |
|
6 series = "LNCS", |
|
7 pages = "38--53", |
|
8 volume = 3632 |
|
9 } |
|
10 |
1 @InProceedings{ UrbanBerghofer06, |
11 @InProceedings{ UrbanBerghofer06, |
2 author = "C. Urban and S. Berghofer", |
12 author = "C. Urban and S. Berghofer", |
3 title = "{A} {R}ecursion {C}ombinator for {N}ominal {D}atatypes {I}mplemented in {I}sabelle/{HOL}", |
13 title = "{A} {R}ecursion {C}ombinator for {N}ominal {D}atatypes {I}mplemented in {I}sabelle/{HOL}", |
4 booktitle = "Proc.~of the 3rd IJCAR Conference", |
14 booktitle = "Proc.~of the 3rd IJCAR Conference", |
5 year = 2006, |
15 year = 2006, |