Open Access UCL Research: Focused Proof-search in the Logic of Bunched Implications - UCL Discovery https://t.co/BEfv9PHHWo
Foundations of Software Science and Computation Structures
Springer International Publishing
Open Access UCL Research: Focused Proof-search in the Logic of Bunched Implications - UCL Discovery https://t.co/BEfv9PHHWo
RT @SN_OAbooks: Download for free new #openaccess book 'Foundations of Software Science and Computation Structures - 24th International Con…
Download for free new #openaccess book 'Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021' by Stefan Kiefer, Christine Tasson of @UniofOxford, @Sorbonne_Univ_. https://t.co/3ZXAEhjcin @SpringerCompSci
Open Access UCL Research: Learning Pomset Automata https://t.co/phqeeNW57v