TY  - JOUR
AU  - V. F. Yun
TI  - The temporal logic of inductive frames with linear time
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2010
SP  - 445
EP  - 457
VL  - 7
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2010_7_a28/
LA  - ru
ID  - SEMR_2010_7_a28
ER  -