| Original language | English |
|---|---|
| Place of Publication | Edinburgh |
| Publisher | Heriott-Watt University |
| Number of pages | 13 |
| Publication status | Published - 2007 |
Publication series
| Name | Technical Report |
|---|---|
| Volume | HW-MACS-TR-0045 |
Nominal algebra
M.J. Gabbay, A.H.J. Mathijssen
Research output: Book/Report › Report › Academic