Working with arms: complexity results on atomic representations of Herbrand models

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 306-315

  Gottlob, Georg ^a   Pichler, Reinhard ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ATOMIC REPRESENTATION OF HERBRAND MODELS; AUTOMATED DEDUCTION; AUTOMATED MODEL BUILDINGS;

ALGORITHMS; ATOMS; DATABASE SYSTEMS; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING;

COMPUTATIONAL COMPLEXITY;

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

References (15)