Login / Signup

Deterministic and Nondeterministic Computation and Horn Programs, on Abstract Data Types.

John V. TuckerJeffery I. Zucker
Published in: J. Log. Program. (1992)
Keyphrases