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
Typ
technická zpráva
Jazyk
angličtina
Autoři
URL
Rok
2019
Strany
1-25
Místo
Ithaca, BR
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, BR",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11984"
}
Nahoru