Sciweavers

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