Detail publikace

Solving String Constraints with Approximate Parikh Image

HOLÍKOVÁ Lenka a JANKŮ Petr. Solving String Constraints with Approximate Parikh Image. In: Proceedings of EUROCAST'19. Lecture Notes in Computer Science. Heidelberg: Springer International Publishing, 2019, s. 1-8. ISBN 978-3-030-45092-2.
Název česky
Řešení řetězcových omezení pomocí přibližného Parikh Image
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Holíková Lenka, Ing. (UITS FIT VUT)
Janků Petr, Ing. (UITS FIT VUT)
Abstrakt

Tento článek představuje nový nástroj pro řešení řetězcových a délkových omezení pomocí přibližného počítání Parikh Image nad alternujícími automaty.

Rok
2019
Strany
1-8
Sborník
Proceedings of EUROCAST'19
Řada
Lecture Notes in Computer Science
Konference
Eurocast 2019 -- 17th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-3-030-45092-2
Vydavatel
Springer International Publishing
Místo
Heidelberg, DE
DOI
10.1007/978-3-030-45093-9_59
EID Scopus
2-s2.0-85083999125
BibTeX 
@INPROCEEDINGS{FITPUB12135,
   author = "Lenka Hol\'{i}kov\'{a} and Petr Jank\r{u}",
   title = "Solving String Constraints with Approximate Parikh Image",
   pages = "1--8",
   booktitle = "Proceedings of EUROCAST'19",
   series = "Lecture Notes in Computer Science",
   year = 2019,
   location = "Heidelberg, DE",
   publisher = "Springer International Publishing",
   ISBN = "978-3-030-45092-2",
   doi = "10.1007/978-3-030-45093-9\_59",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12135"
}
Nahoru