Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Concatenation theory"'
Autor:
Murwanashyaka, Juvenal
Publikováno v:
Murwanashyaka, Juvenal. On First-Order Bit Theory. Master thesis, University of Oslo, 2019
Externí odkaz:
http://hdl.handle.net/10852/79471
https://www.duo.uio.no/bitstream/handle/10852/79471/1/Juvenal-Murwanashyaka-Thesis.pdf
https://www.duo.uio.no/bitstream/handle/10852/79471/1/Juvenal-Murwanashyaka-Thesis.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Sergey M. Dudakov
Publikováno v:
Lobachevskii Journal of Mathematics. 41:168-175
We investigate concatenation theories for some classes of one-symbol languages. These classes can be the class of all languages, the class of regular languages, or the class of finite languages. We prove that all such theories are undecidable. The la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c13cb005df565700f2e412951d1c3147
https://doi.org/10.1134/s1995080220020055
https://doi.org/10.1134/s1995080220020055
We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.
Comment: arXiv
Comment: arXiv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9ccc53d93048eb7d4e248ab68f4a35e5
http://hdl.handle.net/10852/78333
http://hdl.handle.net/10852/78333
Autor:
B Karlov
Publikováno v:
Journal of Physics: Conference Series. 1902:012117
The paper considers two fragments of the word theory with concatenation. The first fragment has two relations denoting that one of the words is a prefix (respectively, a suffix) of another one. It is proved that this theory is algorithmically equival
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f9eed06afe6a759b244c7e9aff6c8066
https://doi.org/10.1088/1742-6596/1902/1/012117
https://doi.org/10.1088/1742-6596/1902/1/012117
Autor:
Cocchiarella, Nino B., author, Freund, Max A., author
Publikováno v:
Modal Logic : An Introduction to its Syntax and Semantics, 2008.
Externí odkaz:
https://doi.org/10.1093/acprof:oso/9780195366587.003.0001
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Sailing Routes in the World of Computation ISBN: 9783319944173
CiE
CiE
We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments we identify. Furthermore, we prove some normal-form results. This is a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a900f10aab05f2c7e6a388251acf25f5
https://doi.org/10.1007/978-3-319-94418-0_25
https://doi.org/10.1007/978-3-319-94418-0_25
Publikováno v:
Logic Group Preprint Series, 258
We study the interpretation of Grzegorczyk’s Theory of Concatenation TC in structures of decorated linear order types satisfying Grzegorczyk’s axioms. We show that TC is incomplete for this interpretation. What is more, the first order theory val
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6d62e75a039c2c9bb87fcbf6b5addae
https://dspace.library.uu.nl/handle/1874/26718
https://dspace.library.uu.nl/handle/1874/26718