Return-Path: tom.melham-request@uk.ac.cam.cl
Return-Path: <tom.melham-request@uk.ac.cam.cl>
Received: from nsf.ac.uk by swan.cl.cam.ac.uk via JANET
          with NIFTP to fgate (PP) id <8179-0@swan.cl.cam.ac.uk>;
          Fri, 14 Dec 1990 22:42:19 +0000
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <17931-8@sun2.nsfnet-relay.ac.uk>;
          Fri, 14 Dec 1990 22:38:48 +0000
Received: from iris.ucdavis.edu by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP
          id aa22239; 14 Dec 90 22:32 GMT
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.3.0) id AA01480;
          Fri, 14 Dec 90 14:33:35 -0800
Received: from TIS.COM by clover.eecs.ucdavis.edu (5.59/UCD.EECS.1.11)
          id AA22070; Fri, 14 Dec 90 14:35:32 PST
Received: from frodo ([192.33.112.94]) by TIS.COM (4.1/SUN-5.64) id AA13977;
          Fri, 14 Dec 90 17:33:33 EST
Date: Fri, 14 Dec 90 17:33:33 EST
From: Sandy Murphy <sandy@com.TIS>
Message-Id: <9012142233.AA13977@TIS.COM>
To: info-hol@edu.ucdavis.clover
Subject: graph theory available?
Sender: sandy%com.tis@edu.ucdavis.iris

I would like to find out if anyone has constructed a theory for graphs.  I
need something suitable for defining such things as directed paths, cycles,
spanning trees, shortest paths, etc.  I saw a similar request from long
ago (May 89) on info-hol, but I have not been able to contact the requester
to find if there was any response.

Does anyone out there already have such a theory, one they would be willing
to share?

--Sandy Murphy
  Trusted Information Systems
  Glenwood, MD