The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer.
https://doi.org/10.1145/1480881.1480905
@inproceedings{DBLP:conf/popl/MorihataMHT09,
author = {Akimasa Morihata and
Kiminori Matsuzaki and
Zhenjiang Hu and
Masato Takeichi},
editor = {Zhong Shao and
Benjamin C. Pierce},
title = {The third homomorphism theorem on trees: downward {\&} upward lead
to divide-and-conquer},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
21-23, 2009},
pages = {177--185},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480881.1480905},
doi = {10.1145/1480881.1480905},
timestamp = {Tue, 06 Nov 2018 11:07:43 +0100},
biburl = {https://dblp.org/rec/conf/popl/MorihataMHT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签