equal
deleted
inserted
replaced
|
1 @inproceedings{pfenningsystem, |
|
2 author = "Frank Pfenning and Carsten Sch{\"u}rmann", |
|
3 title = "System Description: Twelf---{A} Meta-Logical |
|
4 Framework for Deductive Systems", |
|
5 booktitle = "Automated Deduction", |
|
6 series = "LNAI", |
|
7 volume = 1632, |
|
8 pages = "202--206", |
|
9 year = 1999 |
|
10 } |
|
11 |
|
12 |
|
13 |
1 @Article{ Urban08, |
14 @Article{ Urban08, |
2 author = "C. Urban", |
15 author = "C. Urban", |
3 title = "{N}ominal {T}echniques in {I}sabelle/{HOL}", |
16 title = "{N}ominal {T}echniques in {I}sabelle/{HOL}", |
4 journal = "Journal of Automated Reasoning", |
17 journal = "Journal of Automated Reasoning", |
5 volume = "40", |
18 volume = "40", |