Detail publikace

Negated String Containment is Decidable

HAVLENA Vojtěch, HEčKO Michal, HOLíK Lukáš a LENGáL Ondřej. Negated String Containment is Decidable. In: 50th International Symposium on Mathematical Foundations of Computer Science. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2025. ISSN 1868-8969.
Název česky
Negované obsažení řetězce je rozhodnutelné
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Hečko Michal, Ing. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Abstrakt

Tento článek podává kladnou odpověď na otázku rozhodnutelnosti řetězcového predikátu not contains, který se často používá u řetězcových omezení.

Rok
2025 (v tisku)
Časopis
Leibniz International Proceedings in Informatics (LIPIcs), ISSN 1868-8969
Sborník
50th International Symposium on Mathematical Foundations of Computer Science
Konference
Mathematical Foundations of Computer Science 2025, Varšava, PL
Vydavatel
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Místo
Dagstuhl, DE
BibTeX 
@INPROCEEDINGS{FITPUB13548,
   author = "Vojt\v{e}ch Havlena and Michal He\v{c}ko and Luk\'{a}\v{s} Hol\'{i}k and Ond\v{r}ej Leng\'{a}l",
   title = "Negated String Containment is Decidable",
   booktitle = "50th International Symposium on  Mathematical Foundations of Computer Science",
   journal = "Leibniz International Proceedings in Informatics (LIPIcs)",
   year = 2025,
   location = "Dagstuhl, DE",
   publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
   ISSN = "1868-8969",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13548"
}
Nahoru