Nominal (Universal) Algebra: Equational Logic with Names and Binding

M. J. Gabbay, A. Mathijssen

Research output: Contribution to journalArticle

52 Citations (Scopus)
Original languageEnglish
Pages (from-to)1455-1508
JournalJournal of Logic and Computation
Volume19
Issue number6
DOIs
Publication statusPublished - 1 Dec 2009

Cite this