ML Anthology

Synthesis of Rewrite Programs by Higher-Order and Semantic Unification

Masami Hagiya
ALT 1990 pp. 396-410
/alt/1990/hagiya1990alt-synthesis/
Semantic Scholar

Cite

Text

Hagiya. "Synthesis of Rewrite Programs by Higher-Order and Semantic Unification." International Conference on Algorithmic Learning Theory, 1990.

Markdown

[Hagiya. "Synthesis of Rewrite Programs by Higher-Order and Semantic Unification." International Conference on Algorithmic Learning Theory, 1990.](https://mlanthology.org/alt/1990/hagiya1990alt-synthesis/)

BibTeX

@inproceedings{hagiya1990alt-synthesis,
  title     = {{Synthesis of Rewrite Programs by Higher-Order and Semantic Unification}},
  author    = {Hagiya, Masami},
  booktitle = {International Conference on Algorithmic Learning Theory},
  year      = {1990},
  pages     = {396-410},
  url       = {https://mlanthology.org/alt/1990/hagiya1990alt-synthesis/}
}