equal
deleted
inserted
replaced
|
1 @incollection{UrbanNipkow09, |
|
2 author = {C.~Urban and T.~Nipkow}, |
|
3 title = {{N}ominal {V}erification of {A}lgorithm {W}}, |
|
4 booktitle={From Semantics to Computer Science. Essays in Honour of Gilles Kahn}, |
|
5 editor={G.~Huet and J.-J.~L{\'e}vy and G.~Plotkin}, |
|
6 publisher={Cambridge University Press}, |
|
7 pages={363--382}, |
|
8 year=2009 |
|
9 } |
|
10 |
1 @InProceedings{Homeier05, |
11 @InProceedings{Homeier05, |
2 author = {P.~Homeier}, |
12 author = {P.~Homeier}, |
3 title = {{A} {D}esign {S}tructure for {H}igher {O}rder {Q}uotients}, |
13 title = {{A} {D}esign {S}tructure for {H}igher {O}rder {Q}uotients}, |
4 booktitle = {Proc.~of the 18th International Conference on Theorem |
14 booktitle = {Proc.~of the 18th International Conference on Theorem |
5 Proving in Higher Order Logics (TPHOLs)}, |
15 Proving in Higher Order Logics (TPHOLs)}, |