221 followers
The Complexity of Non-Iterated Probabilistic Justification Logic https://t.co/4IHttdc9wK
The Complexity of Non-Iterated Probabilistic Justification Logic https://t.co/4IHttdc9wK
"The Complexity of Non-Iterated Probabilistic Justification Logic. (arXiv:1507.05500v3 [cs.LO] UPDATED)" #arXiv https://t.co/HvfuNU09ps
A Logic for Non-Deterministic Parallel Abstract State Machines. https://t.co/TnTIpGYpTy
#arXiv #cs_LO "A Logic for Non-Deterministic Parallel Abstract State Machines. (arXiv:1705.11097v1 [cs.LO])" https://t.co/xw2JBt3SDI