Separation and Renaming in Nominal Sets

DOI10.4230/LIPICS.CSL.2020.31MaRDI QIDQ5874218zbMATH OpenOpenAlexFDO

Authors Joshua Moerman, Jurriaan Rot

Publication date 7 February 2023

Full work available at URL https://arxiv.org/abs/1906.00763

zbMATH Keywords

adjunctionautomatacoalgebranominal setsseparated product

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cited in

(1)

• From Renaming to Set Agreement

This page was built for publication: Separation and Renaming in Nominal Sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5874218)