Institute Output

Fast Automated Reasoning over String Diagrams using Multiway Causal Structure

Jonathan Gorard 2021-05-10 Jonathan Gorard 2021-05-10

Fast Automated Reasoning over String Diagrams using Multiway Causal Structure

Jonathan Gorard, Manojna Namuduri, Xerxes D. Arsiwalla

Read More