Browse by ISBN
Jump to: Book Section
Number of items: 2.
Book Section
Duncan, Ross and Dunne, Kevin; (2018) Interacting Frobenius algebras are Hopf. In: Proceedings of the 31st annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM, USA. ISBN 9781450343916
Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon; (2016) Quantitative algebraic reasoning. In: LICS '16 : Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, USA, pp. 700-709. ISBN 9781450343916