equal
deleted
inserted
replaced
1 @Book{Nipkow-Paulson-Wenzel:2002, |
|
2 author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel}, |
|
3 title = {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic}, |
|
4 publisher = {Springer}, |
|
5 series = {LNCS}, |
|
6 volume = 2283, |
|
7 year = 2002} |
|
8 |
|
9 @Article{plmms10, |
|
10 author = {Florian Haftmann and Cezary Kaliszyk and Walther Neuper}, |
|
11 title = {{CTP}-based programming languages~? Considerations about an experimental design}, |
|
12 journal = {ACM Communications in Computer Algebra}, |
|
13 year = {2010}, |
|
14 volume = {44}, |
|
15 number = {1/2}, |
|
16 pages = {27-41}, |
|
17 doi = {10.1145/1838599.1838621} |
|
18 } |
|
19 |
|
20 @Manual{isar-impl, |
|
21 title = {The {Isabelle/Isar} Implementation}, |
|
22 author = {Makarius Wenzel}, |
|
23 month = {30 January}, |
|
24 year = {2011}, |
|
25 note = {With contributions by Florian Haftmann and Larry Paulson} |
|
26 } |
|