[seek-kr-sms] growl presentation

[Serguei Krivov]

Here is a link to growl presentation that I've made today at UVM
Computer Science Seminar Series:
http://ecoinformatics.uvm.edu/dmaps/growl/GrOWL.ppt
 
I hope that it is a descent introduction to growl. Besides being an
introduction, it contains a very simple  sketch of proof that:
1.	Growl maps every possible expression of underlying DL to graph
2.	Mapping of Growl graph back to DL is unambiguous  
 
It is so long since I have  been working  with formal proofs, so if you
happen to find any glitch, please let me know.
 
Thanks,
Serguei
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mercury.nceas.ucsb.edu/ecoinformatics/pipermail/seek-kr-sms/attachments/20041004/3b9dfe9f/attachment.htm