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