Kuznets, Roman
- Wanted Dead or Alive : Epistemic logic for impure simplicial complexes
2021/03/04 by van Ditmarsch, Hans, Kuznets, Roman · 4 citations
#Distributed #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel #and Cluster Computing (cs.DC)
- Bisimulation for Impure Simplicial Complexes
2024/06/24 by Bílková, Marta, van Ditmarsch, Hans, Kuznets, Roman +1 · 3 citations
#Distributed #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel #and Cluster Computing (cs.DC)