Advanced Search

home List of Authors author

V. Rybakov

1 articles in 1 journals

ARTICLE TITLE YEAR AUTHORS 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 - 161

2008

V. Rybakov

Plain 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" }