vix.ing
·
top
·
new
·
best
·
stats
·
spec
Mojtaba Mojtahedi
Hard Provability Logics
2019/11/11 by
Mojtaba Mojtahedi
,
Mojtahedi, Mojtaba
· 1 citation
Computer Science
·
#semigroups and automata theory
#Cryptography and Data Security
#Formal Methods in Verification