О выразительной силе некоторых динамических логик
Matematiceskij sbornik (1986)
- Volume: 167, Issue: 3, page 410-419
- ISSN: 0368-8666
Access Full Article
top
How to cite
topСтолбоушкин, А.П.. "О выразительной силе некоторых динамических логик." Matematiceskij sbornik 167.3 (1986): 410-419. <http://eudml.org/doc/71625>.
@article{Столбоушкин1986,
author = {Столбоушкин, А.П.},
journal = {Matematiceskij sbornik},
keywords = {comparison of various logics of programs; nondeterminism; dynamic logic; regular programs; context-free programs},
language = {rus},
number = {3},
pages = {410-419},
publisher = {Tipogr. Lissnera i Sobko},
title = {О выразительной силе некоторых динамических логик},
url = {http://eudml.org/doc/71625},
volume = {167},
year = {1986},
}
TY - JOUR
AU - Столбоушкин, А.П.
TI - О выразительной силе некоторых динамических логик
JO - Matematiceskij sbornik
PY - 1986
PB - Tipogr. Lissnera i Sobko
VL - 167
IS - 3
SP - 410
EP - 419
LA - rus
KW - comparison of various logics of programs; nondeterminism; dynamic logic; regular programs; context-free programs
UR - http://eudml.org/doc/71625
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.