Cited By
View all- Krivine J(2017)Systems biologyACM SIGLOG News10.1145/3129173.31291824:3(43-61)Online publication date: 28-Jul-2017
- Thompson-Walsh CHayman JWinskel G(2012)Containment in Rule-Based ModelsElectronic Notes in Theoretical Computer Science (ENTCS)10.5555/2952789.2952848284:C(125-137)Online publication date: 20-Jun-2012
- Damgaard THøjsgaard EKrivine J(2012)Formal Cellular MachineryElectronic Notes in Theoretical Computer Science (ENTCS)10.5555/2952789.2952847284:C(55-74)Online publication date: 20-Jun-2012