Decidable and Undecidable Fragments of First-Order Concatenation Theory
Chapter; AcceptedVersion; Peer reviewed
View/ Open
Year
2018Permanent link
http://urn.nb.no/CRIStin
1612807Is part of
Lecture Notes in Computer ScienceMetadata
Show metadataAppears in the following Collection
- Institutt for informatikk [4956]
- Matematisk institutt [3782]
- CRIStin høstingsarkiv [31446]