%0 Conference Paper %1 conf/tphol/YamamotoTHNT98 %A Yamamoto, Mitsuharu %A Takahashi, Koichi %A Hagiya, Masami %A ya Nishizaki, Shin %A Tamai, Tetsuo %B TPHOLs %D 1998 %E Grundy, Jim %E Newey, Malcolm C. %I Springer %K dblp %P 479-496 %T Formalization of Graph Search Algorithms and Its Applications. %U http://dblp.uni-trier.de/db/conf/tphol/tphol98.html#YamamotoTHNT98 %V 1479 %@ 3-540-64987-5

@inproceedings{conf/tphol/YamamotoTHNT98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Yamamoto, Mitsuharu and Takahashi, Koichi and Hagiya, Masami and ya Nishizaki, Shin and Tamai, Tetsuo}, biburl = {https://www.bibsonomy.org/bibtex/2190ff01cc04c5081f9932e31a7d22d0b/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/1998}, editor = {Grundy, Jim and Newey, Malcolm C.}, ee = {https://doi.org/10.1007/BFb0055153}, interhash = {c4d83eb73d2b07da5ef2ed9ee96d8bd1}, intrahash = {190ff01cc04c5081f9932e31a7d22d0b}, isbn = {3-540-64987-5}, keywords = {dblp}, pages = {479-496}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:26:27.000+0200}, title = {Formalization of Graph Search Algorithms and Its Applications.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol98.html#YamamotoTHNT98}, volume = 1479, year = 1998 }