Published in: LIPIcs, Volume 119, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
Anupam Das and Isabel Oitavem. A Recursion-Theoretic Characterisation of the Positive Polynomial-Time Functions. In 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 119, pp. 18:1-18:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{das_et_al:LIPIcs.CSL.2018.18, author = {Das, Anupam and Oitavem, Isabel}, title = {{A Recursion-Theoretic Characterisation of the Positive Polynomial-Time Functions}}, booktitle = {27th EACSL Annual Conference on Computer Science Logic (CSL 2018)}, pages = {18:1--18:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-088-0}, ISSN = {1868-8969}, year = {2018}, volume = {119}, editor = {Ghica, Dan R. and Jung, Achim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.18}, URN = {urn:nbn:de:0030-drops-96851}, doi = {10.4230/LIPIcs.CSL.2018.18}, annote = {Keywords: Monotone complexity, Positive complexity, Function classes, Function algebras, Recursion-theoretic characterisations, Implicit complexity, Logic} }
Published in: Dagstuhl Seminar Proceedings, Volume 6451, Circuits, Logic, and Games (2007)
Arnaud Durand, Clemens Lautemann, and Malika More. Counting Results in Weak Formalisms. In Circuits, Logic, and Games. Dagstuhl Seminar Proceedings, Volume 6451, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{durand_et_al:DagSemProc.06451.4, author = {Durand, Arnaud and Lautemann, Clemens and More, Malika}, title = {{Counting Results in Weak Formalisms}}, booktitle = {Circuits, Logic, and Games}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6451}, editor = {Thomas Schwentick and Denis Th\'{e}rien and Heribert Vollmer}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06451.4}, URN = {urn:nbn:de:0030-drops-9767}, doi = {10.4230/DagSemProc.06451.4}, annote = {Keywords: Small complexity classes, logic, polylog counting} }
Feedback for Dagstuhl Publishing