> Detailanzeige

Dybjer, Peter [VerfasserIn]; Espírito Santo, José [VerfasserIn]; Pinto, Luís [VerfasserIn] ; Peter Dybjer and José Espírito Santo and Luís Pinto [MitwirkendeR]

LIPIcs, Volume 130, TYPES'18, Complete Volume

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Artikel; Elektronischer Konferenzbericht; Sonstige Veröffentlichung
  • Titel: LIPIcs, Volume 130, TYPES'18, Complete Volume
  • Beteiligte: Dybjer, Peter [VerfasserIn]; Espírito Santo, José [VerfasserIn]; Pinto, Luís [VerfasserIn]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/LIPIcs.TYPES.2018
  • Schlagwörter: Logic and verification ; Theory of computation,Type theory ; Constructive mathematics ; Program verification ; Software and its engineering
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: LIPIcs, Volume 130, TYPES'18, Complete Volume
  • Zugangsstatus: Freier Zugang