First-Order Concatenation Theory with Bounded Quantifiers
Journal article; PublishedVersion; Peer reviewed
Year
2020Permanent link
http://urn.nb.no/CRIStin
1781217Metadata
Show metadataAppears in the following Collection
- Matematisk institutt [3763]
- CRIStin høstingsarkiv [31162]