Login / Signup

The connection between two ways of reasoning about partial functions.

John S. FitzgeraldCliff B. Jones
Published in: Inf. Process. Lett. (2008)
Keyphrases