An Undecidable Nested Recurrence Relation

DOI10.1007/978-3-642-30870-3_12zbMath1358.03061arXiv1203.0586OpenAlexW1571887931MaRDI QIDQ2904400

Frank Ruskey, Marcel Celaya

Publication date: 14 August 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1203.0586

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Recurrences (11B37)

Related Items (1)

On a conjecture about generalized \(Q\)-recurrence

This page was built for publication: An Undecidable Nested Recurrence Relation