1.1 --- a/src/Doc/isac/chuber/references.bib Mon Sep 16 12:27:20 2013 +0200
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,55 +0,0 @@
1.4 -
1.5 -@InCollection{krauss:partial06,
1.6 - author = {Alexander Krauss},
1.7 - title = {Partial recursive functions in higher-order logic},
1.8 - booktitle = {Automated Reasoning (IJCAR 2006)},
1.9 - pages = {589-603},
1.10 - publisher = {Springer Verlag},
1.11 - year = {2006},
1.12 - editor = {Ulrich Furbach and Natarajan Shankar},
1.13 - volume = {4130},
1.14 - series = {Lecture Notes in Artificial Intelligence},
1.15 - doi = {http://dx.doi.org/10.1007/11814771_48}
1.16 -}
1.17 -
1.18 -@InCollection{krauss:termination07,
1.19 - author = {Lukas Bulwahn, Alexander Krauss, and Tobias Nipkow},
1.20 - title = {Finding lexicographic orders for termination proofs in Isabelle/HOL},
1.21 - booktitle = {Theorem Proving in Higher Order Logics (TPHOLs 2007)},
1.22 - pages = {38-53},
1.23 - publisher = {Springer Verlag},
1.24 - year = {2007},
1.25 - editor = {Schneider and J. Brandt},
1.26 - volume = {4732},
1.27 - series = {Lecture Notes in Computer Science},
1.28 - doi = {http://dx.doi.org/10.1007/978-3-540-74591-4_5}
1.29 -}
1.30 -
1.31 -@Article{aichernig:ingenieur,
1.32 - author = {Bernhard K. Aichernig and Peter Lucas},
1.33 - title = {Softwareentwicklung --- eine {I}ngenieursdisziplin!(?)},
1.34 - journal = {Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV)},
1.35 - year = {1998},
1.36 - volume = {4},
1.37 - number = {2},
1.38 - pages = {2-8},
1.39 - note = {http://www.ist.tu-graz.ac.at/publications},
1.40 - annote = {}
1.41 -}
1.42 -
1.43 -@Book{Nipkow-Paulson-Wenzel:2002,
1.44 - author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
1.45 - title = {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
1.46 - publisher = {Springer},
1.47 - series = {LNCS},
1.48 - volume = 2283,
1.49 - year = 2002
1.50 -}
1.51 -@PhdThesis{krauss:funs,
1.52 - author = {Alexander Krauss},
1.53 - title = {Automating Recursive Definitions and Termination Proofs in Higher-Order Logic},
1.54 - school = {Technische Universit\"at M\"unchen},
1.55 - year = {2009},
1.56 - OPTnote = {http://www4.in.tum.de/~krauss/diss/}
1.57 -}
1.58 -