Detail publikace

A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report)

HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej a TURRINI Andrea. A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report). Ithaca: Cornell University Library, 2023.
Název česky
Symbolický algoritmus pro případové pravidlo v řešení omezení nad slovy s rozšířeními (technická zpráva)
Typ
technická zpráva
Jazyk
angličtina
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Chen Yu-Fang (ASIN)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Turrini Andrea (UCAS)
Abstrakt

Článek se zabývá kódováním Nielsenova algoritmu pro řešení rovnic na slovy s rozšířeními do rámce regulárního model checkingu.

Rok
2023
Strany
45
Vydavatel
Cornell University Library
Místo
Ithaca, US
DOI
10.48550/arXiv.2303.01142
BibTeX 
@TECHREPORT{FITPUB12978,
   author = "Vojt\v{e}ch Havlena and Yu-Fang Chen and Ond\v{r}ej Leng\'{a}l and Andrea Turrini",
   title = "A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report)",
   pages = 45,
   year = 2023,
   location = "Ithaca, US",
   publisher = "Cornell University Library",
   doi = "10.48550/arXiv.2303.01142",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12978"
}
Nahoru