Hilbert’s Tenth Problem for Term Algebras with a Substitution Operator
Chapter; AcceptedVersion; Peer reviewed
Year
2022Permanent link
http://urn.nb.no/CRIStin
2088504Is part of
Lecture Notes in Computer Science (LNCS)Metadata
Show metadataAppears in the following Collection
- Matematisk institutt [3781]
- CRIStin høstingsarkiv [31446]