author = { Rusu, Vlad AND Nowak, David Vlad Rusu and David Nowak },

title = { Defining Corecursive Functions in Coq Using Approximations (Artifact) },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { productiveness , corecursive function , approximation , Coq proof assistant },

year = {2022},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }