A polymorphic type system for prolog

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Abstract

Related collections

Most cited references 1

Record: found
Abstract: not found
Article: not found

Contributions to the Theory of Logic Programming

Krzysztof R. Apt, M. van Emden (1982)

0 comments Cited 42 times – based on 0 reviews      Review now

Bookmark

All references

Author and article information

Journal

Title: Artificial Intelligence

Abbreviated Title: Artificial Intelligence

Publisher: Elsevier BV

ISSN (Print): 00043702

Publication date Created: August 1984

Publication date (Print): August 1984

Volume: 23

Issue: 3

Pages: 295-307

Article

DOI: 10.1016/0004-3702(84)90017-1

SO-VID: 71b6fb93-9dfa-4a18-b0d6-ac9b960db3dd

License:

http://www.elsevier.com/tdm/userlicense/1.0/

History

Data availability:

Comments

Comment on this article

scite_

Cited by 22

See all cited by

Most referenced authors 8

See all reference authors