The Relation Between Second-Order Unification and Simultaneous Rigid ::::E::::-Unification - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Margus Veanes. The Relation Between Second-Order Unification and Simultaneous Rigid ::::E::::-Unification. In LICS. pages 264-275, 1998.

@inproceedings{Veanes98,
  title = {The Relation Between Second-Order Unification and Simultaneous Rigid ::::E::::-Unification},
  author = {Margus Veanes},
  year = {1998},
  tags = {e-science},
  researchr = {https://researchr.org/publication/Veanes98},
  cites = {0},
  citedby = {0},
  pages = {264-275},
  booktitle = {LICS},
}

runs on WebDSL