Wyniki
-
Discrete linear temporal logic with current time point clusters, deciding algorithms
V. Rybakov
Logic and Logical Philosophy , 17 /1-2 (2008) s. 143-161
V. Rybakov
Logic and Logical Philosophy
, 17
/1-2
(2008)
s. 143-161