6 search results - page 2 / 2 » The reconstruction conjecture and edge ideals |
74
Voted
ICLP
1992
Springer
15 years 1 months ago
1992
Springer
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...