2,250 followers
Open Access UCL Research: Confluence of graph rewriting with interfaces https://t.co/QZHkYjxP1t
Open Access UCL Research: Confluence of graph rewriting with interfaces https://t.co/QZHkYjxP1t
ML and Extended Branching VASS https://t.co/WQPOxOD6Hh Murawski先生の発表,とても温かみがあった.