Skip to main content

A Note on the Proof of Reduction of Biconnected Digraphs to Normal Forms

Helen Wilson, Jeremy Bradley, A Note on the Proof of Reduction of Biconnected Digraphs to Normal Forms. CSTR-99-009, Department of Computer Science, University of Bristol. September 1999. PDF, 287 Kbytes.

Abstract

We present a proof method for reducing biconnected digraphs to a normal form and demonstrate its convergence for a general biconnected digraph.

Bibtex entry.

Publication Admin