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

Jerzy Tiuryn. Fixed Points in the Power-Set Algebra of Infinite Trees (Abstract). In Jirí Becvár, editor, Mathematical Foundations of Computer Science 1979, Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979. Volume 74 of Lecture Notes in Computer Science, pages 443-452, Springer, 1979.

Authors

Jerzy Tiuryn

This author has not been identified. Look up 'Jerzy Tiuryn' in Google