|
1 |
|
2 @InCollection{krauss:partial06, |
|
3 author = {Alexander Krauss}, |
|
4 title = {Partial recursive functions in higher-order logic}, |
|
5 booktitle = {Automated Reasoning (IJCAR 2006)}, |
|
6 pages = {589-603}, |
|
7 publisher = {Springer Verlag}, |
|
8 year = {2006}, |
|
9 editor = {Ulrich Furbach and Natarajan Shankar}, |
|
10 volume = {4130}, |
|
11 series = {Lecture Notes in Artificial Intelligence}, |
|
12 doi = {http://dx.doi.org/10.1007/11814771_48} |
|
13 } |
|
14 |
|
15 @InCollection{krauss:termination07, |
|
16 author = {Lukas Bulwahn, Alexander Krauss, and Tobias Nipkow}, |
|
17 title = {Finding lexicographic orders for termination proofs in Isabelle/HOL}, |
|
18 booktitle = {Theorem Proving in Higher Order Logics (TPHOLs 2007)}, |
|
19 pages = {38-53}, |
|
20 publisher = {Springer Verlag}, |
|
21 year = {2007}, |
|
22 editor = {Schneider and J. Brandt}, |
|
23 volume = {4732}, |
|
24 series = {Lecture Notes in Computer Science}, |
|
25 doi = {http://dx.doi.org/10.1007/978-3-540-74591-4_5} |
|
26 } |
|
27 |
|
28 @Article{aichernig:ingenieur, |
|
29 author = {Bernhard K. Aichernig and Peter Lucas}, |
|
30 title = {Softwareentwicklung --- eine {I}ngenieursdisziplin!(?)}, |
|
31 journal = {Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV)}, |
|
32 year = {1998}, |
|
33 volume = {4}, |
|
34 number = {2}, |
|
35 pages = {2-8}, |
|
36 note = {http://www.ist.tu-graz.ac.at/publications}, |
|
37 annote = {} |
|
38 } |
|
39 |
|
40 @Book{Nipkow-Paulson-Wenzel:2002, |
|
41 author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel}, |
|
42 title = {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic}, |
|
43 publisher = {Springer}, |
|
44 series = {LNCS}, |
|
45 volume = 2283, |
|
46 year = 2002 |
|
47 } |
|
48 @PhdThesis{krauss:funs, |
|
49 author = {Alexander Krauss}, |
|
50 title = {Automating Recursive Definitions and Termination Proofs in Higher-Order Logic}, |
|
51 school = {Technische Universit\"at M\"unchen}, |
|
52 year = {2009}, |
|
53 OPTnote = {http://www4.in.tum.de/~krauss/diss/} |
|
54 } |
|
55 |