Proceedings 31st annual symposium on foundations of computer science 22-24 October, 1990 (California: IEEE computer Society Press, 1990)
Keywords: Computer science; Mathematical