%0 Conference Paper %1 conf/icfp/HidakaAHKN13 %A Hidaka, Soichiro %A Asada, Kazuyuki %A Hu, Zhenjiang %A Kato, Hiroyuki %A Nakano, Keisuke %B ICFP %D 2013 %E Morrisett, Greg %E Uustalu, Tarmo %I ACM %K dblp %P 305-318 %T Structural recursion for querying ordered graphs. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2013.html#HidakaAHKN13 %@ 978-1-4503-2326-0

@inproceedings{conf/icfp/HidakaAHKN13, added-at = {2021-06-24T00:00:00.000+0200}, author = {Hidaka, Soichiro and Asada, Kazuyuki and Hu, Zhenjiang and Kato, Hiroyuki and Nakano, Keisuke}, biburl = {https://www.bibsonomy.org/bibtex/233235316eebb6099504559c69d6d765d/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2013}, editor = {Morrisett, Greg and Uustalu, Tarmo}, ee = {https://doi.org/10.1145/2544174.2500608}, interhash = {814202fa672293ba9b240c4652ca498a}, intrahash = {33235316eebb6099504559c69d6d765d}, isbn = {978-1-4503-2326-0}, keywords = {dblp}, pages = {305-318}, publisher = {ACM}, timestamp = {2024-04-09T17:31:06.000+0200}, title = {Structural recursion for querying ordered graphs.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2013.html#HidakaAHKN13}, year = 2013 }