FORMAL ASPECTS OF COMPUTING
journal46995
E066983
GB
0934-5043
English
Rivista
Springer-Verlag London Limited:Sweetapple House, Catteshall Road, Godalming Surrey GU7 3DJ United Kingdom:011 44 1483 418822, EMAIL: postmaster@svl.co.uk, Fax: 011 44 1483 415151
1989
cannot
can
false