Binary intersection formalized
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F21%3A00349659" target="_blank" >RIV/68407700:21240/21:00349659 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/00216208:11320/21:10438463
Výsledek na webu
<a href="https://doi.org/10.1016/j.tcs.2021.03.002" target="_blank" >https://doi.org/10.1016/j.tcs.2021.03.002</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.tcs.2021.03.002" target="_blank" >10.1016/j.tcs.2021.03.002</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Binary intersection formalized
Popis výsledku v původním jazyce
We provide a reformulation and a formalization of the classical result by Juhani Karhumäki characterizing intersections of two languages of the form ${x,y}^* cap {u,v}^*$. We use the terminology of morphisms which allows to formulate the result in a shorter and more transparent way, and we formalize the result in the proof assistant Isabelle/HOL.
Název v anglickém jazyce
Binary intersection formalized
Popis výsledku anglicky
We provide a reformulation and a formalization of the classical result by Juhani Karhumäki characterizing intersections of two languages of the form ${x,y}^* cap {u,v}^*$. We use the terminology of morphisms which allows to formulate the result in a shorter and more transparent way, and we formalize the result in the proof assistant Isabelle/HOL.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
<a href="/cs/project/GA20-20621S" target="_blank" >GA20-20621S: Formalizace kombinatoriky na slovech</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2021
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Theoretical Computer Science
ISSN
0304-3975
e-ISSN
1879-2294
Svazek periodika
866
Číslo periodika v rámci svazku
April
Stát vydavatele periodika
GB - Spojené království Velké Británie a Severního Irska
Počet stran výsledku
11
Strana od-do
14-24
Kód UT WoS článku
000637917600002
EID výsledku v databázi Scopus
2-s2.0-85103321922