equal
deleted
inserted
replaced
1 |
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 } |
2 |
10 |
3 @PhdThesis{Krauss09, |
11 @PhdThesis{Krauss09, |
4 author = {A.~Krauss}, |
12 author = {A.~Krauss}, |
5 title = {{A}utomating {R}ecursive {D}efinitions and {T}ermination {P}roofs in |
13 title = {{A}utomating {R}ecursive {D}efinitions and {T}ermination {P}roofs in |
6 {H}igher-Order {L}ogic}, |
14 {H}igher-Order {L}ogic}, |