Bisimulation games and locally tabular logics

Autor:	Valentin B. Shehtman
Rok vydání:	2016
Předmět:	Combinatorics Bisimulation Algebra General Mathematics 010102 general mathematics 0103 physical sciences 010307 mathematical physics 0101 mathematics 01 natural sciences Mathematics
Zdroj:	Russian Mathematical Surveys. 71:979-981
ISSN:	1468-4829 0036-0279
DOI:	10.1070/rm9731
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::74a3eab3cde221690a1cb159db55b940 https://doi.org/10.1070/rm9731 Zobrazit plný text záznamu