Skip to main navigation Skip to search Skip to main content

Nominal algebra

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

    Research output: Book/Report › Report › Academic

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

    Publication series

    NameTechnical Report
    VolumeHW-MACS-TR-0045

    Cite this