A study of substitution, using nominal techniques and Fraenkel–Mostowksi sets

Research output: Contribution to journalArticle

16 Citations (Scopus)
Original languageEnglish
Pages (from-to)1159-1189
JournalTheoretical Computer Science
Volume410
Issue number12-13
DOIs
Publication statusPublished - 17 Mar 2009

Cite this