Adaptive solving of equations over rational trees

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

Volumn 1520, Issue , 1998, Pages 475-

  Wolf, Armin ^a  

^a FRAUNHOFER INSTITUTE FOR APPLIED INFORMATION TECHNOLOGY FIT   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; FORESTRY; LOGIC PROGRAMMING;

CONSTRAINT LOGIC PROGRAMMING; DYNAMIC CONSTRAINT SATISFACTIONS; RATIONAL TREES;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 22444455709     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49481-2_46     Document Type: Conference Paper

References (0)