U. S. Reddy (1992): A Typed Foundation for Directional Logic Programming


Title: A Typed Foundation for Directional Logic Programming
Author(s): U. S. Reddy
Year: 1992
Booktitle: Extensinons of Logic Programming. Third Intern. Workshop. ELP'92. Bologna
Editor(s): E. Lamma and P. Mello
Month: Febr. 26 -- 28
Number: 660
Pages: 282-318
Publisher: Springer
Address: Berlin [u.a.]

Concepts