Geodesic
Bisimulation games and locally tabular logics
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 71 (2016) no. 5, pp. 979-981

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{RM_2016_71_5_a7,
     author = {V. B. Shehtman},
     title = {Bisimulation games and locally tabular logics},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {979--981},
     publisher = {mathdoc},
     volume = {71},
     number = {5},
     year = {2016},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RM_2016_71_5_a7/}
}
TY  - JOUR
AU  - V. B. Shehtman
TI  - Bisimulation games and locally tabular logics
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 2016
SP  - 979
EP  - 981
VL  - 71
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_2016_71_5_a7/
LA  - en
ID  - RM_2016_71_5_a7
ER  - 
%0 Journal Article
%A V. B. Shehtman
%T Bisimulation games and locally tabular logics
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 2016
%P 979-981
%V 71
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RM_2016_71_5_a7/
%G en
%F RM_2016_71_5_a7
V. B. Shehtman. Bisimulation games and locally tabular logics. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 71 (2016) no. 5, pp. 979-981. http://geodesic.mathdoc.fr/item/RM_2016_71_5_a7/