vix.ing
·
top
·
new
·
best
·
stats
·
spec
Gurke, Sebastian
Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
2023/10/09 by
Beohar, Harsh
,
Gurke, Sebastian
,
König, Barbara
+4 · 3 citations
#FOS: Computer and information sciences
#Logic in Computer Science (cs.LO)