Filter the results Item type Select All/None Collection Page Event File Folder Image Language Independent Folder Language Root Folder Link News Item New items since Yesterday Last week Last month Ever Search results Subscribe to an always-updated RSS feed. 2 items matching your search terms. Sort by relevance date (newest first) alphabetically NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS Bashmakov, S. I.; Kosheleva, A. V.; Rybakov, V. SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 13 656-663; Doi: ... Located in Publications / 2017 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; ... Located in Publications / 2017