Research from Reykjavik University Provide New Insights into Computational Logic (Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?)

Press/Media

Period8 Nov 2022

Media coverage

1

Media coverage