Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Implementing FS0 in Isabelle: Adding Structure at the Metalevel

Matthews, S. (1995). Implementing FS0 in Isabelle: Adding Structure at the Metalevel. In L. C. Paulson (Ed.), Proceedings of the First Isabelle Users Workshop (pp. 20-239). Cambridge: University of Cambridge.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-000E-5890-C Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-5891-B
Genre: Konferenzbeitrag
Latex : Implementing $\textrm FS_0$ in Isabelle: Adding Structure at the Metalevel

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Matthews, Seán1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121995
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Matthews_IUW95
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: First Isabelle Users Workshop
Veranstaltungsort: Cambridge, UK
Start-/Enddatum: 1995-09-18 - 1995-09-19

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the First Isabelle Users Workshop
Genre der Quelle: Konferenzband
 Urheber:
Paulson, Lawrence C., Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Cambridge : University of Cambridge
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 20 - 239 Identifikator: -