Deriving constraints among argument sizes in logic programs /
Allen Van Gelder.

Description

Tools

Cite this Export citation file
Main Author
Van Gelder, Allen.
Related Names
University of California, Santa Cruz. Computer Research Laboratory.
Language(s)
English
Published
Santa Cruz, Calif. : University of California, Santa Cruz, Computer Research Laboratory, 1989.
Subjects
Polyhedra.
Logic programming.
Physical Description
23 p. ; 28 cm.
Locate a Print Version
Find in a library

Viewability

Item Link Original Source
Limited (search only)   University of California