Hilbert’s Tenth Problem for Term Algebras with a Substitution Operator
Chapter; AcceptedVersion; Peer reviewed
År
2022Permanent lenke
http://urn.nb.no/CRIStin
2088504Del av
Lecture Notes in Computer Science (LNCS)Metadata
Vis metadataFinnes i følgende samling
- Matematisk institutt [3781]
- CRIStin høstingsarkiv [31446]