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 - 161ROK: 2008CZYSTY TEKSTBIBTEX
