equal
deleted
inserted
replaced
658 author = {Alexander Krauss}, |
658 author = {Alexander Krauss}, |
659 title = {Partial Recursive Functions in {Higher-Order Logic}}, |
659 title = {Partial Recursive Functions in {Higher-Order Logic}}, |
660 crossref = {ijcar2006}, |
660 crossref = {ijcar2006}, |
661 pages = {589--603}} |
661 pages = {589--603}} |
662 |
662 |
|
663 @PhdThesis{krauss_phd, |
|
664 author = {Alexander Krauss}, |
|
665 title = {Automating Recursive Definitions and Termination Proofs in Higher-Order Logic}, |
|
666 school = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen}, |
|
667 year = {2009}, |
|
668 address = {Germany} |
|
669 } |
|
670 |
663 @manual{isabelle-function, |
671 @manual{isabelle-function, |
664 author = {Alexander Krauss}, |
672 author = {Alexander Krauss}, |
665 title = {Defining Recursive Functions in {Isabelle/HOL}}, |
673 title = {Defining Recursive Functions in {Isabelle/HOL}}, |
666 institution = TUM, |
674 institution = TUM, |
667 note = {\url{http://isabelle.in.tum.de/doc/functions.pdf}} |
675 note = {\url{http://isabelle.in.tum.de/doc/functions.pdf}} |