Abstract fixpoint semantics and abstract procedural semantics of definite logic programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lunjin Lu, Peter Greenfield. Abstract fixpoint semantics and abstract procedural semantics of definite logic programs. In James R. Cordy, Mario Barbacci, editors, ICCL 92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992. pages 147-154, IEEE, 1992. [doi]

This author has not been identified. Look up 'Lunjin Lu' in GoogleThis author has not been identified. Look up 'Peter Greenfield' in Google

runs on WebDSL