Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Locales - A Sectioning Concept for Isabelle

 
: Kammüller, F.; Wenzel, M.; Paulson, L.C.

:

Bertot, Y.; Dowek, G.; Hirschowitz, A.; Paulin, C.; Théry, L.:
Theorem proving in higher order logics : 12th International conference, TPHOLs '99, Nice, France, September 14-17, 1999 ; proceedings
Berlin: Springer, 1999 (Lecture Notes in Computer Science 1690)
ISBN: 3-540-66463-7
ISSN: 0302-9743
pp.149-165
International Conference on Theorem Proving in Higher Order Logics <12, 1999, Nizza>
English
Conference Paper
Fraunhofer FIRST ()

: http://publica.fraunhofer.de/documents/2004909020.html