V. Rybakov
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Discrete linear temporal logic with current time point clusters, deciding algorithms Opublikowano w: Logic and Logical Philosophy 2008 / Tom 17 / Numer 1-2 / s. 143 - 1612008CZYSTY TEKST
V. Rybakov, Discrete linear temporal logic with current time point clusters, deciding algorithms, Logic and Logical Philosophy, 2008 / Tom 17 / Numer 1-2, s. 143 - 161
BIBTEX@Article{ authors = "V. Rybakov", title = "Discrete linear temporal logic with current time point clusters, deciding algorithms", journal = "Logic and Logical Philosophy", issue = "2008 / Tom 17 / Numer 1-2", pages = "143 - 161" }
