Ioana Domnina Cristescu

Publication Activity (10 Years)

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

Top Topics

Computational Properties

Genetic Algorithm

Sequent Calculus

Top Venues

Publications

Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca
Rigid Families for CCS and the π-calculus. ICTAC (2015)