Semantics of logic programs with aggregates

Volumn , Issue , 1991, Pages 387-401

  Kemp, David B ^a   Stuckey, Peter J ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; EQUIVALENCE CLASSES; HIGH LEVEL LANGUAGES; MATHEMATICAL MODELS; PROGRAMMING THEORY; RECURSIVE FUNCTIONS;

AGGREGATE FUNCTIONS; SEMANTICS;

LOGIC PROGRAMMING;

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

References (18)