1 @string{CUP="Cambridge University Press"} |
1 @string{CUP="Cambridge University Press"} |
2 @string{LNCS="Lect.\ Notes in Comp.\ Sci."} |
2 @string{LNCS="Lect.\ Notes in Comp.\ Sci."} |
3 @string{Springer="Springer-Verlag"} |
3 @string{Springer="Springer"} |
|
4 |
|
5 @InProceedings{BauerW-TPHOLs01,author={Gertrud Bauer and Markus Wenzel}, |
|
6 title={Calculational Reasoning Revisited --- An {Isabelle/Isar} Experience}, |
|
7 booktitle={Theorem Proving in Higher Order Logics, TPHOLs 2001}, |
|
8 editor={R. Boulton and P. Jackson}, |
|
9 year=2001,publisher=Springer,series=LNCS,volume=2152,pages="75--90"} |
4 |
10 |
5 @book{HuthRyan,author="Michael Huth and Mark Ryan", |
11 @book{HuthRyan,author="Michael Huth and Mark Ryan", |
6 title={Logic in Computer Science},publisher=CUP,year=2004} |
12 title={Logic in Computer Science},publisher=CUP,year=2004} |
7 |
13 |
8 @manual{Krauss,author={Alexander Krauss}, |
14 @manual{Krauss,author={Alexander Krauss}, |