Pages that link to "Item:Q2864203"
From MaRDI portal
The following pages link to The Decidability of the Structural Congruence for Beta-binders (Q2864203):
Displaying 5 items.
- 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)
- Communicating by compatibility (Q2426519) (← links)
- On Beta-Binders Communications (Q3507381) (← links)