A formal basis for Horn clause logic with external polymorphic functions
By: Staffan Bonnier
Contributors: Universitetet i Linköping
Series: Linköping studies in science and technology -- no. 276
Publisher: Linköping University, Dept. of Computer and Information Science
Published: 1992
Place of publication: Linköping, Sweden
Language: eng
Number of pages: 171
Subjects: Horn clauses
Notes: "21 maj 1992."

Thesis (doctoral)--Linköping University, 1992.

Includes bibliographical references and index.

Supported in part by the Swedish National Board for Industrial and Technical Development.