Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM

  Home  |  Research/Competence  |  Teaching  |  Staff  |  Publications  |  Misc  |  Contact  |  Intranet  |

  Find  

 
PDF-Datei BibTeX

@inproceedings {TYPES2000,
    author = {Stefan Berghofer and Tobias Nipkow},
    title = {{Executing Higher Order Logic}},
    booktitle = {Types for Proofs and Programs, International Workshop, (TYPES 2000)},
    year = {2002},
    editor = {P. Callaghan and Z. Luo and J. McKinna and R. Pollack},
    number = {LNCS 2277},
    publisher = {Springer-Verlag}
}
  
HTML Version

(c) 1999-2004 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact