VUA + RUN)

Identifiers

• name variant VUA + RUN) 0.60 · backfill

Papers (1)

1. Non-Deterministic Kleene Coalgebras cs.LO · 2010 · author #5

Mentions

• 1007.3769 #5 · backfill · confidence 0.70 VUA + RUN)

Frequent Coauthors

• Alexandra Silva (CWI) 1 shared papers
• Jan Rutten (CWI 1 shared papers
• Leiden University) 1 shared papers
• Marcello Bonsangue (LIACS 1 shared papers