×

Found 9 Documents (Results 1–9)

A simplicial complex model for dynamic epistemic logic to study distributed task computability. (English) Zbl 1498.03045

Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 73-87 (2018).
PDFBibTeX XMLCite
Full Text: Link

Natural homology. (English) Zbl 1448.55010

Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 171-183 (2015).
MSC:  55N35 18C50 55N31
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field