Tsvetelina Yonova-Karbe

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Correspondence Matching

Matching Algorithm

Affine Invariant

Technical Report

Top Venues

Publications

Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann
Matching in the Pi-Calculus. EXPRESS/SOS (2014)
Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann
Matching in the Pi-Calculus (Technical Report). CoRR (2014)