Superposition decision procedure for the guarded fragment with equality

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 295-303

  Ganzinger, Harald ^a   de Nivelle, Hans ^a  

^a MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION MAKING; DIFFERENTIATION (CALCULUS); LOGIC DESIGN; MATHEMATICAL MODELS; NUMERICAL METHODS;

ELIMINATION METHOD; GUARDED FRAGMENT; SUPERPOSITION DECISION PROCEDURE;

COMPUTATIONAL COMPLEXITY;

EID: 0032597509     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (14)