Login / Signup

A Calculational Derivation of the Casop Algorithm.

Rob R. Hoogerwoord
Published in: Inf. Process. Lett. (1990)
Keyphrases