Unification in Sort Theories and Its Applications - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Christoph Weidenbach. Unification in Sort Theories and Its Applications. Annals of Mathematics and Artificial Intelligence, 18(2-4):261-293, 1996.

@article{Weidenbach96:0,
  title = {Unification in Sort Theories and Its Applications},
  author = {Christoph Weidenbach},
  year = {1996},
  researchr = {https://researchr.org/publication/Weidenbach96%3A0},
  cites = {0},
  citedby = {0},
  journal = {Annals of Mathematics and Artificial Intelligence},
  volume = {18},
  number = {2-4},
  pages = {261-293},
}

runs on WebDSL