Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Gregor Snelting, Wolfgang Henhapl. Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. In POPL. pages 229-235, 1986.

@inproceedings{SneltingH86,
  title = {Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis},
  author = {Gregor Snelting and Wolfgang Henhapl},
  year = {1986},
  tags = {analysis,  algebra, incremental},
  researchr = {https://researchr.org/publication/SneltingH86},
  cites = {0},
  citedby = {0},
  pages = {229-235},
  booktitle = {POPL},
}

runs on WebDSL