[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Re: Graph algorithms



Dear Piotr,

How are you?  How about the following?

Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya,
Shin-ya Nishizaki and Tetsuo Tamai:
Formalization of Graph Search Algorithms and Its Applications,
Theorem Proving in Higher Order Logics,
11th International Conference, TPHOLs'98,
Canberra, Australia, September/October 1998, Proceedings
(Jim Grundy, Malcolm Newey, eds.)
Lecture Notes in Computer Science, Springer-Verlag, Vol.1479, 1998,
pp.479-496.

-- Masami