Results 1 - 2 of 2

A Language for the Cell

by Troels C. Damgaard, Vincent Danos, Jean Krivine, Troels C. Damgaard, Vincent Danos, Jean Krivine, Rued Langgaards Vej, Troels C. Damgaard, Vincent Danos, Jean Krivine , 1600
"... Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy.

found at the ENTCS Macro Home Page. Containment in Rule-Based Models

by C. D. Thompson-walsh, J. Hayman, G. Winskel
"... Replace this file with prentcsmacro.sty for your meeting, ..."
Abstract - Add to MetaCart
Replace this file with prentcsmacro.sty for your meeting,