Detail publikace

Automata Terms in a Lazy WSkS Decision Procedure (Technical Report)

HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Automata Terms in a Lazy WSkS Decision Procedure (Technical Report). Ithaca, 2019. Dostupné z: https://arxiv.org/abs/1905.08697
Název česky
Automatové termy v líné rozhodovací proceduře pro WSkS
Typ
technická zpráva
Jazyk
angličtina
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

Tato publikace zkoumá termy reprezentující částečně konstruované stromové automaty v rámci líné rozhodovací procedury pro WSkS.

Rok
2019
Strany
1-25
Místo
Ithaca, US
BibTeX 
@TECHREPORT{FITPUB11984,
   author = "Vojt\v{e}ch Havlena and Luk\'{a}\v{s} Hol\'{i}k and Ond\v{r}ej Leng\'{a}l and Tom\'{a}\v{s} Vojnar",
   title = "Automata Terms in a Lazy WSkS Decision Procedure (Technical Report)",
   pages = "1--25",
   year = 2019,
   location = "Ithaca, US",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11984"
}
Nahoru