@Unpublished{Bauer-et-al:2002:HOL-Library,
author = {Gertrud Bauer and Tobias Nipkow and Oheimb, David von and
Lawrence C Paulson and Thomas M Rasmussen and Christophe Tabacznyj and
Markus Wenzel},
title = {The Supplemental {Isabelle/HOL} Library},
note = {\url{https://isabelle.in.tum.de/library/HOL/Library/document.pdf}},
year = 2002
}
@PhdThesis{Naraschewski:2001,
author = {Wolfgang Naraschewski},
title = {Teams as Types --- A Formal Treatment of Authorization in Groupware},
school = {TU M\"unchen},
year = 2001,
note = "Submitted"}
@Manual{Nipkow-et-al:2000:HOL,
author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
title = {{Isabelle}'s Logics: {HOL}},
institution = {Institut f\"ur Informatik, Technische Universi\"at
M\"unchen and Computer Laboratory, University of Cambridge},
year = 2000,
note = {\url{https://isabelle.in.tum.de/doc/logics-HOL.pdf}}
}
@Book{Tanenbaum:1992,
author = {Andrew S. Tanenbaum},
title = {Modern Operating Systems},
publisher = {Prentice-Hall},
year = 1992
}
@Misc{Torvalds-et-al:Linux,
author = {Linus Torvalds and others},
title = {The {L}inux Kernel Archives},
note = {\url{http://www.kernel.org}}
}
@Misc{Unix-heritage,
key = {Unix},
title = {The {Unix} Heritage Society},
note = {\url{http://minnie.cs.adfa.edu.au/TUHS/}}
}
@InProceedings{Wenzel:1999:TPHOL,
author = {Markus Wenzel},
title = {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents},
crossref = {tphols99}}
@Manual{Wenzel:2002:isar-ref,
author = {Markus Wenzel},
title = {The {Isabelle/Isar} Reference Manual},
year = 2002,
institution = {TU Munich},
note = {\url{https://isabelle.in.tum.de/doc/isar-ref.pdf}}
}
@Proceedings{tphols99,
title = {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
editor = {Bertot, Y. and Dowek, G. and Hirschowitz, A. and
Paulin, C. and Thery, L.},
series = {LNCS},
volume = 1690,
year = 1999}
¤ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Die farbliche Syntaxdarstellung ist noch experimentell.
|
