Memoization for Unary Logic Programming: Characterizing PTIME

From MaRDI portal

MaRDI QIDQ7081060arXivFDO

Authors Clément Aubert, Marc Bagnol, Thomas Seiller

Publication date 2015

Published in arXiv


arXiv classification

cs.LO















This page was built for publication: Memoization for Unary Logic Programming: Characterizing PTIME

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Memoization_for_Unary_Logic_Programming:_Characterizing_PTIME&oldid=106487678"
Powered by MediaWiki