Formalizing a Fragment of Combinatorics on Words

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F17%3A10369544" target="_blank" >RIV/00216208:11320/17:10369544 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-319-58741-7_3" target="_blank" >http://dx.doi.org/10.1007/978-3-319-58741-7_3</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-58741-7_3" target="_blank" >10.1007/978-3-319-58741-7_3</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Formalizing a Fragment of Combinatorics on Words
Popis výsledku v původním jazyce
We describe an attempt to formalize some tasks im combinatorics on words using the assistance of Prover9, an automated theorem prover for first-order and equational logic.
Název v anglickém jazyce
Formalizing a Fragment of Combinatorics on Words
Popis výsledku anglicky
We describe an attempt to formalize some tasks im combinatorics on words using the assistance of Prover9, an automated theorem prover for first-order and equational logic.

Projekt
<a href="/cs/project/GA13-01832S" target="_blank" >GA13-01832S: Obecná algebra a její souvislost s informatikou</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2017
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ů

Popis výsledku