article · RECERCAT (Consorci de Serveis Universitaris de Catalunya) · 2018

An Efficient Nominal Unification Algorithm

Cited by 0Abstract and details only

Abstract

The index has no abstract for this paper.

Cite this paper

APA 7

(2018). An Efficient Nominal Unification Algorithm. RECERCAT (Consorci de Serveis Universitaris de Catalunya).

MLA 9

“An Efficient Nominal Unification Algorithm.” RECERCAT (Consorci de Serveis Universitaris de Catalunya), 2018.

Chicago

2018. “An Efficient Nominal Unification Algorithm.” RECERCAT (Consorci de Serveis Universitaris de Catalunya).

Harvard

(2018) ‘An Efficient Nominal Unification Algorithm’, RECERCAT (Consorci de Serveis Universitaris de Catalunya).

BibTeX

@article{anon2018efficient,
  title = {{An Efficient Nominal Unification Algorithm}},
  journal = {RECERCAT (Consorci de Serveis Universitaris de Catalunya)},
  year = {2018}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.