H. Boley (1992): A Direct Semantic Characterization of RELFUN


Title: A Direct Semantic Characterization of RELFUN
Author(s): H. Boley
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: 120-149
Publisher: Springer
Address: Berlin [u.a.]

Concepts