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
- Matematisk institutt [2450]
- Institutt for informatikk [3603]
- CRIStin høstingsarkiv [15888]