The following pages link to Nominal Sets over Algebraic Atoms (Q5410500):
Displaying 7 items.
- Set-theoretic analysis of nominative data (Q1650337) (← links)
- Completeness and incompleteness in nominal Kleene algebra (Q2401017) (← links)
- Nominal sets. Names and symmetry in computer science (Q2849600) (← links)
- Imperative programming in sets with atoms (Q2957477) (← links)
- A Nominal Relational Model for Local Store (Q3178267) (← links)
- Orbit-finite sets and their algorithms (Q5111332) (← links)
- A Non-Deterministic Multiset Query Language (Q5862341) (← links)