V. Rybakov
1 articles in 1 journals
ARTICLE TITLE
YEAR
ACTIONS
-
Discrete linear temporal logic with current time point clusters, deciding algorithms Published in: Logic and Logical Philosophy 2008 / Tom 17 / Numer 1-2 / p. 143 - 1612008Plain Text
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" }