Combination of compatible reduction orderings that are total on ground terms

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1997, Pages 2-13

  Baader, Franz ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EQUIVALENCE CLASSES; THEOREM PROVING;

EQUATIONAL THEORY; REDUCTION ORDERINGS;

FORMAL LOGIC;

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

References (23)