Paramodulation with built-in abelian groups

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2000, Pages 413-424

  Godoy, Guillem ^a   Nieuwenhuis, Robert ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; DECISION THEORY; FORMAL LOGIC; POLYNOMIALS; REDUNDANCY;

AUTOMATED DEDUCTION; BUILT IN ABELIAN GROUPS; PARAMODULATION; TERM REWRITING;

COMPUTATIONAL COMPLEXITY;

EID: 0033718535     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)