equal
deleted
inserted
replaced
|
1 @InProceedings{UrbanKaliszyk11, |
|
2 author = {C.~Urban and C.~Kaliszyk}, |
|
3 title = {General Bindings and Alpha-Equivalence in Nominal Isabelle}, |
|
4 booktitle = {Proceedings of the 20th European Symposium on Programming (ESOP)}, |
|
5 pages = {480-500}, |
|
6 year = {2011}, |
|
7 volume = {6602}, |
|
8 series = {LNCS} |
|
9 } |
|
10 |
1 |
11 |
2 @inproceedings{KaliszykUrban11, |
12 @inproceedings{KaliszykUrban11, |
3 author = {C.~Kaliszyk and C.~Urban}, |
13 author = {C.~Kaliszyk and C.~Urban}, |
4 title = {{Q}uotients {R}evisited for {I}sabelle/{HOL}}, |
14 title = {{Q}uotients {R}evisited for {I}sabelle/{HOL}}, |
5 booktitle = {Proc.~of the 26th ACM Symposium On Applied Computing (SAC)}, |
15 booktitle = {Proc.~of the 26th ACM Symposium On Applied Computing (SAC)}, |