Simple Second-order Languages for which Unification is Undecidable

@article{Farmer1991SimpleSL,
  title={Simple Second-order Languages for which Unification is Undecidable},
  author={William M. Farmer},
  journal={Theor. Comput. Sci.},
  year={1991},
  volume={87},
  pages={25-41}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…