PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR DISCRETE TEMPORAL MULTI-AGENT LOGICS
Bashmakov, SI; Kosheleva, AV; Rybakov, V SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 13 923-929; 10.17377/semi.2016.13.074 2016
http://kirensky.ru/ru/publikacii/2017/projective-formulas-and-unification-in-linear-discrete-temporal-multi-agent-logics
http://kirensky.ru/@@site-logo/logo.png
PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR DISCRETE TEMPORAL MULTI-AGENT LOGICS
Bashmakov, SI; Kosheleva, AV; Rybakov, V SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 13 923-929; 10.17377/semi.2016.13.074 2016