Login / Signup
A simplicial complex model for dynamic epistemic logic to study distributed task computability.
Éric Goubault
Jérémy Ledent
Sergio Rajsbaum
Published in:
Inf. Comput. (2021)
Keyphrases
</>
high level
computational model
theoretical framework
mathematical model
experimental data
heuristic search
computational models
integer programming
mathematical models