Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments - researchr publication references

researchr

You are not signed in
Sign in
Sign up

Pierre De Boeck, Baudouin Le Charlier. Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments. In LOPSTR. pages 229-245, 1993.

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL