Detail publikace

Negated String Containment is Decidable

HAVLENA, V.; HEČKO, M.; HOLÍK, L.; LENGÁL, O. Negated String Containment is Decidable. 50th International Symposium on Mathematical Foundations of Computer Science. Leibniz International Proceedings in Informatics, LIPIcs. 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
anglicky
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS)
Hečko Michal, Ing. (UITS)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Klíčová slova

not contains,regular languages,string constraints,combinatorics on words

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
BibTeX 
@inproceedings{BUT198408,
  author="Vojtěch {Havlena} and Michal {Hečko} and Lukáš {Holík} and Ondřej {Lengál}",
  title="Negated String Containment is Decidable",
  booktitle="50th International Symposium on  Mathematical Foundations of Computer Science",
  year="2025",
  journal="Leibniz International Proceedings in Informatics, LIPIcs",
  publisher="Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  address="Dagstuhl",
  issn="1868-8969"
}
Nahoru