Detail publikace

Lazy Automata Techniques for WS1S

FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T. Lazy Automata Techniques for WS1S. arXiv:1701.06282: 2017. p. 0-0.
Název česky
Líné Automatové Techniky pro WS1S
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Fiedor Tomáš, Ing., Ph.D. (VZ VERIFIT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Janků Petr, Ing. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

WS1Sfinite automatalogicantichainslazy evaluationsubsumptionmonadic second-order logic

Abstrakt

Tento článek představuje optimalizaci klasické rozhodovací procedury pro logiku WS1S založenou na líných technikách.

Rok
2017
Strany
17
Místo
arXiv:1701.06282
BibTeX 
@techreport{BUT170107,
  author="Tomáš {Fiedor} and Lukáš {Holík} and Petr {Janků} and Ondřej {Lengál} and Tomáš {Vojnar}",
  title="Lazy Automata Techniques for WS1S",
  year="2017",
  address="arXiv:1701.06282",
  pages="17",
  url="https://arxiv.org/abs/1701.06282v2"
}
Nahoru