The fresh-graph of a nominal set

DOI10.1142/s1793830922501610OpenAlexW4296210283WikidataQ114071619 ScholiaQ114071619MaRDI QIDQ6059081

No author found.

Publication date: 2 November 2023

Published in: Discrete Mathematics, Algorithms and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s1793830922501610

zbMATH Keywords

supportnominal setsfreshness

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Subalgebras, congruence relations (08A30) Representation of semigroups; actions of semigroups on sets (20M30)

Cites Work

• Unnamed Item
• Unnamed Item
• A new approach to abstract syntax with variable binding
• Coloring of commutative rings
• Binding operators for nominal sets
• Nominal rewriting
• Nominal Sets
• Automata theory in nominal sets
• Finitely Supported Mathematics
• Nominal Renaming Sets

This page was built for publication: The fresh-graph of a nominal set