1 % BibTeX database for the Isabelle documentation |
1 % BibTeX database for the Isabelle documentation |
2 % |
|
3 % Lawrence C Paulson $Id$ |
|
4 |
2 |
5 %publishers |
3 %publishers |
6 @string{AP="Academic Press"} |
4 @string{AP="Academic Press"} |
7 @string{CUP="Cambridge University Press"} |
5 @string{CUP="Cambridge University Press"} |
8 @string{IEEE="{\sc ieee} Computer Society Press"} |
6 @string{IEEE="{\sc ieee} Computer Society Press"} |
1329 title={Isabelle/Isar --- a versatile environment for human-readable formal proof documents}, |
1327 title={Isabelle/Isar --- a versatile environment for human-readable formal proof documents}, |
1330 school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen}, |
1328 school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen}, |
1331 year=2002, |
1329 year=2002, |
1332 note = {\url{http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.html}}} |
1330 note = {\url{http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.html}}} |
1333 |
1331 |
|
1332 @Article{Wenzel-Wiedijk:2002, |
|
1333 author = {Freek Wiedijk and Markus Wenzel}, |
|
1334 title = {A comparison of the mathematical proof languages {Mizar} and {Isar}.}, |
|
1335 journal = {Journal of Automated Reasoning}, |
|
1336 year = 2002, |
|
1337 volume = 29, |
|
1338 number = {3-4} |
|
1339 } |
|
1340 |
|
1341 @InCollection{Wenzel-Paulson:2006, |
|
1342 author = {Markus Wenzel and Lawrence C. Paulson}, |
|
1343 title = {{Isabelle/Isar}}, |
|
1344 booktitle = {The Seventeen Provers of the World}, |
|
1345 year = 2006, |
|
1346 editor = {F. Wiedijk}, |
|
1347 series = {LNAI 3600} |
|
1348 } |
|
1349 |
1334 @InCollection{Wenzel:2006:Festschrift, |
1350 @InCollection{Wenzel:2006:Festschrift, |
1335 author = {Makarius Wenzel}, |
1351 author = {Makarius Wenzel}, |
1336 title = {{Isabelle/Isar} --- a generic framework for human-readable proof documents}, |
1352 title = {{Isabelle/Isar} --- a generic framework for human-readable proof documents}, |
1337 booktitle = {From Insight to Proof --- Festschrift in Honour of Andrzej Trybulec}, |
1353 booktitle = {From Insight to Proof --- Festschrift in Honour of Andrzej Trybulec}, |
1338 publisher = {University of Bia{\l}ystok}, |
1354 publisher = {University of Bia{\l}ystok}, |