Automata, Tableaus and a Reduction Theorem for Fixpoint Calculi in Arbitrary Complete Lattices.

David Janin

Browse the full LICS paper archive.