[ Bristol CS | Index | Research | Publications ]
A Note on the Proof of Reduction of Biconnected Digraphs to Normal
Forms
Helen Wilson
and J T Bradley.
Technical Report CSTR-99-009, Department of Computer Science, University of
Bristol, September 1999. Gzipped PostScript: 236041 bytes.
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.
Other publications
Technical Reports Series Editor,
reports@cs.bris.ac.uk. Last modified on Monday 4 October 1999 at 09:28. © 1999 University of Bristol