Defining Corecursive Functions in Coq Using Approximations

MLA

Vlad Rusu and David Nowak, et al. Defining Corecursive Functions in Coq Using Approximations. 2022. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1358730996&authtype=sso&custid=ns315887.

APA

Vlad Rusu and David Nowak, Rusu, V., & Nowak, D. (2022). Defining Corecursive Functions in Coq Using Approximations.

Chicago

Vlad Rusu and David Nowak, Vlad Rusu, and David Nowak. 2022. “Defining Corecursive Functions in Coq Using Approximations.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1358730996&authtype=sso&custid=ns315887.