On Strong Stability and Higher-Order Sequentiality

Loïc Colson, Thomas Ehrhard. On Strong Stability and Higher-Order Sequentiality. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France. pages 103-108, IEEE Computer Society, 1994.

Authors

Loïc Colson

This author has not been identified. Look up 'Loïc Colson' in Google

Thomas Ehrhard

This author has not been identified. Look up 'Thomas Ehrhard' in Google