| dc.date.accessioned | 2022-08-02T16:33:51Z | |
| dc.date.available | 2023-06-26T22:45:54Z | |
| dc.date.created | 2022-07-02T16:21:46Z | |
| dc.date.issued | 2022 | |
| dc.identifier.citation | Murwanashyaka, Juvenal . Hilbert's Tenth Problem for Term Algebras with a Substitution Operator. Revolutions and Revelations in Computability -18th Conference on Computability in Europe, CiE 2022 Swansea, UK, July 11–15, 2022 Proceedings. 2022, 196-207 Springer Nature | |
| dc.identifier.uri | http://hdl.handle.net/10852/94701 | |
| dc.description.abstract | We introduce a first-order theory of finite full binary trees and show that the analogue of Hilbert’s Tenth Problem is undecidable by constructing a many-to-one reduction of Post’s Correspondence Problem. | |
| dc.description.abstract | Hilbert’s Tenth Problem for Term Algebras with a Substitution Operator | |
| dc.language | EN | |
| dc.relation.ispartof | Lecture Notes in Computer Science (LNCS) | |
| dc.relation.ispartofseries | Lecture Notes in Computer Science (LNCS) | |
| dc.title | Hilbert’s Tenth Problem for Term Algebras with a Substitution Operator | |
| dc.title.alternative | ENEngelskEnglishHilbert’s Tenth Problem for Term Algebras with a Substitution Operator | |
| dc.type | Chapter | |
| dc.creator.author | Murwanashyaka, Juvenal | |
| cristin.unitcode | 185,15,13,65 | |
| cristin.unitname | Analyse og logikk | |
| cristin.ispublished | true | |
| cristin.fulltext | postprint | |
| cristin.qualitycode | 1 | |
| dc.identifier.cristin | 2088504 | |
| dc.identifier.bibliographiccitation | info:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=Lecture Notes in Computer Science (LNCS)&rft.volume=&rft.spage=196&rft.date=2022 | |
| dc.identifier.startpage | 196 | |
| dc.identifier.endpage | 207 | |
| dc.identifier.doi | https://doi.org/10.1007/978-3-031-08740-0_17 | |
| dc.identifier.urn | URN:NBN:no-97238 | |
| dc.type.document | Bokkapittel | |
| dc.type.peerreviewed | Peer reviewed | |
| dc.source.isbn | 978-3-031-08739-4 | |
| dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/94701/1/Murwanashyaka_Hilberts10thProblem.pdf | |
| dc.type.version | AcceptedVersion | |
| cristin.btitle | Revolutions and Revelations in Computability -18th Conference on Computability in Europe, CiE 2022 Swansea, UK, July 11–15, 2022 Proceedings | |