Hilbert's tenth problem for term algebras with a substitution operator

DOI10.1007/978-3-031-08740-0_17OpenAlexW4285174778MaRDI QIDQ2104269

Juvenal Murwanashyaka

Publication date: 7 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-08740-0_17

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• First-order concatenation theory with bounded quantifiers
• Hilbert's Tenth Problem is Unsolvable
• A variant of a recursively unsolvable problem

This page was built for publication: Hilbert's tenth problem for term algebras with a substitution operator