Work

Nominal unification

Year: 2004

Type: article

Source: Theoretical Computer Science

DOI: 10.1016/j.tcs.2004.06.016

Authors: Christian Urban, Andrew M. Pitts, Murdoch J. Gabbay

Institutions: University of Cambridge, Institut national de recherche en sciences et technologies du numérique

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2912255765

FWCI: 28.31

Cites: 35

Cited by: 208

Related to: 10