@dblp

General theory relating to the implementation of concurrent symbolic computation.

. University of Cambridge, UK, (1989)British Library, EThOS.

Links and resources

Tags