Models and equality for logical programming /
Main Author: | |
---|---|
Corporate Author: | |
Other Authors: | |
Format: | Book |
Language: | English |
Published: |
Stanford, CA :
Center for the Study of Language and Information,
c1987
|
Series: | Report (Center for the Study of Language and Information (U.S.)) ;
no. CSLI-87-91 |
Subjects: |