Transformations between signed and classical clause logic

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 1999, Pages 248-255

  Beckert, Bernhard ^a   Haehnle, Reiner ^a   Manya, Felip ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; MATHEMATICAL PROGRAMMING; MATHEMATICAL TRANSFORMATIONS; THEOREM PROVING;

CLASSICAL CLAUSE LOGIC; SIGNED LOGIC;

FORMAL LOGIC;

EID: 0032678061     PISSN: 0195623X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (16)