Sciweavers

6 search results - page 2 / 2
» The reconstruction conjecture and edge ideals
Sort
View
ICLP
1992
Springer
14 years 2 months ago
Records for Logic Programming
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...
Gert Smolka, Ralf Treinen