Meta-Notation
Published • Aug 13, 1992
NobleIDNI7P06W26R22S38
Authors:
Peter D. Mosses
Abstract
The meta-notation used in this book consists of positive Horn clauses, constraints, and modules, together with some convenient abbreviations.
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!