Infoscience

Report

On computing the fixpoint of a set of boolean equations

Related material