Keyword:hypergraphs

Publications
Confluence for Proof-Nets via Parallel Cut Elimination Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco and Lionel Vaux Auclair In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning