Implementing Nominal Unification

Research output: Contribution to journal › Conference paper

9 Citations (Scopus)

Original language	English
Pages (from-to)	25 - 37
Number of pages	13
Journal	Electronic Notes in Theoretical Computer Science
Volume	176
Issue number	1
Publication status	Published - 28 May 2007
Event	Electronic Notes in Theoretical Computer Science - Duration: 1 Jan 2007 → …

Cite this

@article{9c2bd7bb18a847f6b4ad8df45f7f13d9,

title = "Implementing Nominal Unification",

author = "C Calv{\`e}s and M Fernandez",

year = "2007",

month = may,

day = "28",

language = "English",

volume = "176",

pages = "25 -- 37",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier BV",

number = "1",

note = "Electronic Notes in Theoretical Computer Science ; Conference date: 01-01-2007",

}

TY - JOUR

T1 - Implementing Nominal Unification

AU - Calvès, C

AU - Fernandez, M

PY - 2007/5/28

Y1 - 2007/5/28

UR - https://www.scopus.com/pages/publications/34248599052

M3 - Conference paper

SN - 1571-0661

VL - 176

SP - 25

EP - 37

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 1

T2 - Electronic Notes in Theoretical Computer Science

Y2 - 1 January 2007

ER -