×

zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–9)

100
MathJax
J. Comput. Syst. Sci. Int. 56, No. 1, 105-124 (2017); translation from Kibern. Sist. Anal. 2017, No. 1, 107-127 (2017).
MSC:  68T27 68U35
PDF BibTeX XML Cite
Full Text: DOI
van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 31-45 (2011).
MSC:  03B44 03B25 68Q25
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 46, No. 2, 279-294 (2007); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2007, No. 2, 120-136 (2007).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI