Tsvetelina Yonova-Karbe

Identifiers

• name variant Tsvetelina Yonova-Karbe 0.60 · backfill

Papers (1)

1. Matching in the Pi-Calculus (Technical Report) cs.LO · 2014 · author #2

Mentions

• 1407.6406 #2 · backfill · confidence 0.70 Tsvetelina Yonova-Karbe

Frequent Coauthors

• Kirstin Peters 1 shared papers
• Uwe Nestmann 1 shared papers