The following pages link to Alessandro Romanel (Q1044843):
Displayed 7 items.
- (Q953551) (redirect page) (← links)
- On the decidability and complexity of the structural congruence for beta-binders (Q953553) (← links)
- Evolving BlenX programs to simulate the evolution of biological networks (Q959795) (← links)
- On the computational power of BlenX (Q1044845) (← links)
- The Decidability of the Structural Congruence for Beta-binders (Q2864203) (← links)
- BlenX Static and Dynamic Semantics (Q3184664) (← links)
- Modeling Static Biological Compartments with Beta-binders (Q5429370) (← links)