Publisher
Springer Science and Business Media LLC
Subject
Geometry and Topology,Theoretical Computer Science,Software
Reference21 articles.
1. Abramsky S, Ghica DR, Murawski AS, Luke Ong CH, Stark IDB (2004) Nominal games and full abstraction for the nu-calculus. In: Proceedings of 19th IEEE Symposium on Logic in Computer Science, pp 150–159
2. Alexandru A, Ciobanu G (2014) Nominal groups and their homomorphism theorems. Fundam Inform 131(3–4):279–298
3. Bojanczyk M, Klin B, Lasota S (2011) Automata with group actions, In 26th Symposium on Logic in Computer Science, pp 355–364
4. Bojanczyk M (2011) Data monoids, In Proceediongs of 28th Symposium on Theoretical Computer Science, pp 105–116
5. Bojanczyk M (2013) Nominal monoids. Theor Comput Syst 53:194–222