Supported sets -- a new foundation for nominal sets and automata

From MaRDI portal
Publication:6610643