Producing all ideals of a forest, functionally.

Jean-Christophe Filliâtre François Pottier

Published in: J. Funct. Program. (2003)

Keyphrases

partially ordered
data sets
high quality
partial order
feature space
expert systems
relational databases
data model
open source