![]() |
Volumn 1490, Issue , 1998, Pages 374-390
|
Controlling search in declarative programs
|
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTATION THEORY;
LOGIC PROGRAMMING;
ABSTRACT NOTIONS;
COMPUTATION STEPS;
DECLARATIVE LANGUAGES;
DECLARATIVE PROGRAMS;
NONDETERMINISTIC COMPUTATION;
PROGRAMMING ERRORS;
SEARCH FACILITIES;
SEARCH STRATEGIES;
COMPUTER CIRCUITS;
|
EID: 22444452448
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/bfb0056627 Document Type: Conference Paper |
Times cited : (28)
|
References (18)
|