> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel; Sonstige Veröffentlichung Titel: Defining Corecursive Functions in Coq Using Approximations (Artifact) Beteiligte: Rusu, Vlad [VerfasserIn]; Nowak, David [VerfasserIn] Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022 Sprache: Englisch DOI: https://doi.org/10.4230/DARTS.8.2.2 Schlagwörter: approximation ; Coq proof assistant ; productiveness ; corecursive function Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Beschreibung: This is the formalization in the Coq proof assistant of the related conference article shown below. Zugangsstatus: Freier Zugang