Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai. Formalization of Graph Search Algorithms and Its Applications. In Jim Grundy, Malcolm C. Newey, editors, Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs 98, Canberra, Australia, September 27 - October 1, 1998, Proceedings. Volume 1479 of Lecture Notes in Computer Science, pages 479-496, Springer, 1998.
@inproceedings{YamamotoTHNT98,
title = {Formalization of Graph Search Algorithms and Its Applications},
author = {Mitsuharu Yamamoto and Koichi Takahashi and Masami Hagiya and Shin-ya Nishizaki and Tetsuo Tamai},
year = {1998},
tags = {graph-rewriting, rewriting, search},
researchr = {https://researchr.org/publication/YamamotoTHNT98},
cites = {0},
citedby = {0},
pages = {479-496},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs 98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
editor = {Jim Grundy and Malcolm C. Newey},
volume = {1479},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-64987-5},
}