Detail publikace

Lazy Automata Techniques for WS1S

FIEDOR Tomáš, HOLÍK Lukáš, JANKŮ Petr, LENGÁL Ondřej a VOJNAR Tomáš. Lazy Automata Techniques for WS1S. arXiv:1701.06282, 2017. Dostupné z: https://arxiv.org/abs/1701.06282v2
Název česky
Líné Automatové Techniky pro WS1S
Typ
technická zpráva
Jazyk
angličtina
Autoři
Fiedor Tomáš, Ing., Ph.D. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Janků Petr, Ing. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
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, US
BibTeX 
@TECHREPORT{FITPUB11332,
   author = "Tom\'{a}\v{s} Fiedor and Luk\'{a}\v{s} Hol\'{i}k and Petr Jank\r{u} and Ond\v{r}ej Leng\'{a}l and Tom\'{a}\v{s} Vojnar",
   title = "Lazy Automata Techniques for WS1S",
   pages = 17,
   year = 2017,
   location = "arXiv:1701.06282, US",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11332"
}
Nahoru