Бисимуляционные игры и локально табличные логики

Autor:	Valentin B. Shehtman
Rok vydání:	2016
Předmět:	Combinatorics Bisimulation Discrete mathematics 010102 general mathematics 0103 physical sciences Table (database) 010307 mathematical physics 0101 mathematics 01 natural sciences Mathematics
Zdroj:	Uspekhi Matematicheskikh Nauk. 71:185-186
ISSN:	2305-2872 0042-1316
DOI:	10.4213/rm9731
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::9cde9383dd6fb2d94968674d7694eecf https://doi.org/10.4213/rm9731 Zobrazit plný text záznamu