Extraction of Efficient Programs in I\Sigma₁-arithmetic

From MaRDI portal

Extraction of Efficient Programs in $I\Sigma 1$-arithmetic (scientific article from arXiv)

Jump to:navigation, search

MaRDI QIDQ7114441arXivFDO

Authors Ján Komara, Paul J. Voda

Publication date 2019

Published in arXiv

arXiv classification

This page was built for publication: Extraction of Efficient Programs in $I\Sigma_1$-arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7114441)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Extraction_of_Efficient_Programs_in_$I%5CSigma_1$-arithmetic_(scientific_article_from_arXiv)&oldid=106786856"