Detail publikace

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

HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Automata Terms in a Lazy WSkS Decision Procedure (Technical Report). Ithaca: 2019. p. 1-25.
Název česky
Automatové termy v líné rozhodovací proceduře pro WSkS
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

WSkS, weak second-order logic, tree automata, lazy evaluation

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
BibTeX 
@techreport{BUT161940,
  author="Vojtěch {Havlena} and Lukáš {Holík} and Ondřej {Lengál} and Tomáš {Vojnar}",
  title="Automata Terms in a Lazy WSkS Decision Procedure (Technical Report)",
  year="2019",
  address="Ithaca",
  pages="1--25",
  url="https://arxiv.org/abs/1905.08697"
}
Nahoru