vix.ing
·
top
·
new
·
best
·
stats
·
spec
Wáng, Yì N.
Simpler completeness proofs for modal logics with intersection
2020/04/05 by
Wáng, Yì N.
,
Ågotnes, Thomas
· 1 citation
#FOS: Computer and information sciences
#FOS: Mathematics
#Logic (math.LO)
#Logic in Computer Science (cs.LO)