Sciweavers

ENTCS
2008
75views more  ENTCS 2008»
13 years 4 months ago
Minimality in a Linear Calculus with Iteration
System L is a linear version of G
Sandra Alves, Mário Florido, Ian Mackie, Fr...