Declarative diagnosis of missing answers in constraint functional-logic programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4989 LNCS, Issue , 2008, Pages 305-321

  Caballero, Rafael ^a   Rodríguez Artalejo, Mario ^a   Del Vado Vírseda, Rafael ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT FUNCTIONAL;

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; FUNCTIONAL PROGRAMMING; PROBLEM SOLVING;

LOGIC PROGRAMMING;

EID: 43149111329     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78969-7_22     Document Type: Conference Paper

References (30)