Project updates‎ > ‎

Added logical provenance

posted Oct 19, 2009, 9:46 PM by Eric Peterson   [ updated Nov 28, 2014, 9:08 AM ]
Added logical provenance structure to support disjunction etc.
Comments