Applications of intensional logic to program semantics
By: Hing-Kai Hung.
Series: Technical report (State University of New York at Buffalo. Dept. of Computer Science) -- 90-05
Publisher: State University of New York at Buffalo, Dept. of Computer Science
Published: 1990
Place of publication: Buffalo, N.Y
Language: eng
Format: Microform
Number of pages: 23
Subjects: Programming languages (Electronic computers) -- Semantics.; Logic programming.
Notes: "April 1990."

Includes bibliographical references.

Checklist of official publications of the State of New York, 1990.

Microfiche. Albany, N.Y. : New York State Library, filmed by AMTEK Corporation, 1994. 1 microfiche.