A Unary Semigroup Trace Algebra (2020)

First Author: Ribeiro P
Attributed to:  High-integrity Java Applications using Circus funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract