Logic for Computable Functions (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Logic for Computable Functions" in English language version.

refsWebsite

Global rank English rank

low place

low place

833^rd place

567^th place

1web.archive.org

1^st place

1^st place

cakeml.org

"CakeML". Retrieved 2 November 2019.

dtic.mil

apps.dtic.mil

Boyer, Robert S; Moore, J Strother. Metafunctions: Proving Them Correct and Using Them Efficiently as New Proof Procedures (PDF) (Report). Technical Report CSL-108, SRI Projects 8527/4079. pp. 1–111. Archived (PDF) from the original on November 2, 2019. Retrieved 2 November 2019.

web.archive.org

Boyer, Robert S; Moore, J Strother. Metafunctions: Proving Them Correct and Using Them Efficiently as New Proof Procedures (PDF) (Report). Technical Report CSL-108, SRI Projects 8527/4079. pp. 1–111. Archived (PDF) from the original on November 2, 2019. Retrieved 2 November 2019.