vix.ing
·
top
·
new
·
best
·
stats
·
spec
Rowe, Reuben N. S.
A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic
2019/05/15 by
Docherty, Simon
,
Rowe, Reuben N. S.
· 2 citations
#FOS: Computer and information sciences
#Logic in Computer Science (cs.LO)