• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. Locales - A Sectioning Concept for Isabelle
 
  • Details
  • Full
Options
1999
Conference Paper
Title

Locales - A Sectioning Concept for Isabelle

Author(s)
Kammüller, F.
Wenzel, M.
Paulson, L.C.
Mainwork
Theorem proving in higher order logics  
Conference
International Conference on Theorem Proving in Higher Order Logics 1999  
DOI
10.1007/3-540-48256-3_11
Language
English
FIRST
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024