@string{LNCS="Lecture Notes in Computer Science"}
@string{Springer="Springer-Verlag"}
@inproceedings{Bulwahn-et-al:2008:imp_HOL, author = {Lukas Bulwahn and Alexander Krauss and Florian Haftmann and Levent Erk{\"o}k and John Matthews}, title = {Imperative Functional Programming with {Isabelle/HOL}}, booktitle = {TPHOLs '08: Proceedings of the 21th International Conference on Theorem Proving in Higher Order Logics}, year = {2008},
isbn = {978-3-540-71065-3}, pages = {352--367}, publisher = Springer,
series = LNCS, volume = {5170}, editor = {Otmane A\"{\i}t Mohamed and C{\'e}sar Mu{\~n}oz and Sofi{\`e}ne Tahar}
}
@book{Nipkow-et-al:2002:tutorial, author = {T. Nipkow and L. C. Paulson and M. Wenzel}, title = {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
series = LNCS, volume = 2283, year = 2002, publisher = Springer
}
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
