Nominal algebra

M.J. Gabbay, A.H.J. Mathijssen

Research output: Book/ReportReportAcademic

Original languageEnglish
Place of PublicationEdinburgh
PublisherHeriott-Watt University
Number of pages13
Publication statusPublished - 2007

Publication series

NameTechnical Report
VolumeHW-MACS-TR-0045

Cite this

Gabbay, M. J., & Mathijssen, A. H. J. (2007). Nominal algebra. (Technical Report; Vol. HW-MACS-TR-0045). Edinburgh: Heriott-Watt University.
Gabbay, M.J. ; Mathijssen, A.H.J. / Nominal algebra. Edinburgh : Heriott-Watt University, 2007. 13 p. (Technical Report).
@book{8a19ea279e214ae8a998244d50b4659e,
title = "Nominal algebra",
author = "M.J. Gabbay and A.H.J. Mathijssen",
year = "2007",
language = "English",
series = "Technical Report",
publisher = "Heriott-Watt University",

}

Gabbay, MJ & Mathijssen, AHJ 2007, Nominal algebra. Technical Report, vol. HW-MACS-TR-0045, Heriott-Watt University, Edinburgh.

Nominal algebra. / Gabbay, M.J.; Mathijssen, A.H.J.

Edinburgh : Heriott-Watt University, 2007. 13 p. (Technical Report; Vol. HW-MACS-TR-0045).

Research output: Book/ReportReportAcademic

TY - BOOK

T1 - Nominal algebra

AU - Gabbay, M.J.

AU - Mathijssen, A.H.J.

PY - 2007

Y1 - 2007

M3 - Report

T3 - Technical Report

BT - Nominal algebra

PB - Heriott-Watt University

CY - Edinburgh

ER -

Gabbay MJ, Mathijssen AHJ. Nominal algebra. Edinburgh: Heriott-Watt University, 2007. 13 p. (Technical Report).