Deterministic and Nondeterministic Computation and Horn Programs, on Abstract Data Types - researchr publication references

researchr

You are not signed in
Sign in
Sign up

J. V. Tucker, Jeffery I. Zucker. Deterministic and Nondeterministic Computation and Horn Programs, on Abstract Data Types. Journal of Logic and Algebraic Programming, 13(1):23-55, 1992.

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL