|
Volumn , Issue , 1991, Pages 202-211
|
Typed Prolog: A semantic reconstruction of the Mycroft-O'Keefe type system
|
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTATIONAL LINGUISTICS;
LOGIC PROGRAMMING;
MANY VALUED LOGICS;
SEMANTICS;
TYPE RECONSTRUCTION;
TYPED PROLOG PROGRAMMING LANGUAGE;
PROLOG (PROGRAMMING LANGUAGE);
|
EID: 0026303964
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (51)
|
References (36)
|