Fixed Points in the Power-Set Algebra of Infinite Trees (Abstract).

Jerzy Tiuryn

Browse the full MFCS paper archive.