Linear Verification for Spanning Trees

János Komlós. Linear Verification for Spanning Trees. In 25th Annual Symposium on Foundations of Computer Science, 24-26 October 1984, Singer Island, Florida, USA. pages 201-206, IEEE, 1984.

Abstract

Abstract is missing.