Bilattices in logic programming

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 1990, Pages 238-246

  Fitting, Melvin ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY--COMPUTATIONAL LINGUISTICS; COMPUTER METATHEORY--MANY VALUED LOGICS; COMPUTER PROGRAMMING LANGUAGES--PROLOG;

BILATTICES; MULTIVALUE LOGIC; SEMANTICS; TWO-VALUE LOGIC;

COMPUTER PROGRAMMING;

EID: 0025592552     PISSN: 0195623X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)